Breaking Conditional Symmetry in Automated Constraint Modelling with Conjure (2014)
Attributed to:
A Constraint Solver Synthesiser
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: Proceedings of the 21st European Conference on Artificial Intelligence