Dominion -- A constraint solver generator

01/31/2010
by   Lars Kotthoff, et al.
0

This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives preliminary experimental results showing the feasibility and effectiveness of the approach.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset