Login / Signup
Modelling Constraint Solver Architecture Design as a Constraint Problem
Ian P. Gent
Christopher Jefferson
Lars Kotthoff
Ian Miguel
Published in:
CoRR (2011)
Keyphrases
</>
constraint solver
constraint solving
linear constraints
constraint propagation
constraint programming
constraint satisfaction problems
finite domain
constraint satisfaction
constraint solvers
sat solvers
real numbers
constraint logic programming
arc consistency algorithm
combinatorial problems