A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Automated Symmetry Breaking and Model Selection in Conjure
[chapter]
2013
Lecture Notes in Computer Science
Constraint modelling is widely recognised as a key bottleneck in applying constraint solving to a problem of interest. The CONJURE automated constraint modelling system addresses this problem by automatically refining constraint models from problem specifications written in the ESSENCE language. ESSENCE provides familiar mathematical concepts like sets, functions and relations nested to any depth. To date, CONJURE has been able to produce a set of alternative model kernels (i.e. without
doi:10.1007/978-3-642-40627-0_11
fatcat:cxqewt6m3zae5ak6x3iapezzk4