Alan M. Frisch

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)

When solving a combinatorial problem, the formulation or model of the problem is critical to the efficiency of the solver. Automating the modelling process has long been of interest given the expertise and time required to develop an effective model of a particular problem. We describe a method to a…