Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE.

Ozgur Akgun Ian P. Gent Christopher Jefferson Ian Miguel Peter Nightingale

Published in: ECAI (2014)

Keyphrases

semi automated
symmetry detection
fully automated
computer vision
information systems
search algorithm
np hard
constraint solving