Automated Symmetry Breaking and Model Selection in Conjure.

Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Browse the full CP paper archive.