Conjure Revisited: Towards Automated Constraint Modelling

Details Conjure Revisited: Towards Automated Constraint Modelling Conjure Revisited: Towards Automated Constraint Modelling

2011-09-08

arxiv.org/abs/1109.1774v1

Computer Science

Artificial Intelligence

Scientific paper

Automating the constraint modelling process is one of the key challenges facing the constraints field, and one of the principal obstacles preventing widespread adoption of constraint solving. This paper focuses on the refinement-based approach to automated modelling, where a user specifies a problem in an abstract constraint specification language and it is then automatically refined into a constraint model. In particular, we revisit the Conjure system that first appeared in prototype form in 2005 and present a new implementation with a much greater coverage of the specification language Essence.

Affiliated with

Also associated with

No associations

Rating

Conjure Revisited: Towards Automated Constraint Modelling does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Conjure Revisited: Towards Automated Constraint Modelling, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Conjure Revisited: Towards Automated Constraint Modelling will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-475579