Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Encoding Lexicographical Ordering Constraints In Sat, Wenting Zhao
Encoding Lexicographical Ordering Constraints In Sat, Wenting Zhao
Honors Projects
Symmetry occurs in many constraint satisfaction problems, and it is important to deal with it efficiently and effectively, as it often leads to an exponential number of isomorphic assignments. Symmetric rows and columns in matrices are an important class of symmetries in constraint programming. In this work, we develop a new SAT encoding for partial lexicographical ordering constraints to break symmetries in such places. We also survey all the previous complete lex-leader encodings in literature and translate them into SAT encodings. We perform experimental analysis on how these lex-leader constraints impact the solving of Balanced Incomplete Block Design (BIBD) instances. …
2-(51, 6, 1) Block Designs, Wenting Zhao, Mark Liffiton. Faculty Advisor
2-(51, 6, 1) Block Designs, Wenting Zhao, Mark Liffiton. Faculty Advisor
John Wesley Powell Student Research Conference
No abstract provided.