Vol-1838⫷ Vol-1839 ⫸Vol-1840
urn:nbn:de:0074-1839-0


Vol-1839/MIT2016-p13⫷Vol-1839/MIT2016-p14⫸Vol-1839/MIT2016-p15
Stepan KochemazovOleg Zaikin Alexander Semenov

The comparison of different SAT encodings for the problem of search for systems of orthogonal latin squares