Symmetries and Lazy Clause Generation.

Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears

Browse the full IJCAI paper archive.