Extensible Automated Constraint Modelling

  title={Extensible Automated Constraint Modelling},
  author={Ozgur Akgun and Ian Miguel and Christopher Jefferson and Alan M. Frisch and Brahim Hnich},
In constraint solving, a critical bottleneck is the formulation of an effective constraint model of an input problem. The CONJURE system described in this paper, a substantial step forward over prototype versions of C ONJUREpreviously reported, makes a valuable contribution to the automation of constraint modelling by automatically producing constraint models from their specifications in the abstract constraint specification language E SSENCE. A set of rules is used to refinean abstract… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS
14 Citations
47 References
Similar Papers

Similar Papers

Loading similar papers…