Symmetries, almost symmetries, and lazy clause generation

Authors: 

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

Publication date: 

Wednesday, October 1, 2014