Symmetries, almost symmetries, and lazy clause generation

DOI: 10.1007/s10601-014-9163-9

Authors

Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey
Constraints 19(4), October 2014

Publication date