Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract)
DOI:
https://doi.org/10.1609/aaai.v36i11.21655Keywords:
Latin Square, Orthogonal Latin Square, Mols, Constraint Programming, Integer ProgrammingAbstract
We use integer programming (IP) and constraint programming (CP) to search for sets of mutually orthogonal latin squares (MOLS). We improve the performance of the solvers by formulating an extended symmetry breaking method and provide an alternative CP encoding which performs much better in practice. Using state-of-the-art solvers we are able to quickly find pairs of MOLS (or prove their nonexistence) in all orders up to and including eleven. We also analyze the effectiveness of using CP and IP solvers to search for triples of MOLS and estimate the running time of using this approach to resolve the longstanding open problem of determining the existence of a triple of MOLS of order ten.Downloads
Published
2022-06-28
How to Cite
Rubin, N., Bright, C., Stevens, B., & Cheung, K. (2022). Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, 36(11), 13037-13038. https://doi.org/10.1609/aaai.v36i11.21655
Issue
Section
AAAI Student Abstract and Poster Program