Login / Signup
Rewriting Techniques in the Constraint Solver.
Jonathan K. Millen
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
constraint solver
constraint solving
constraint programming
constraint propagation
constraint satisfaction problems
linear constraints
constraint satisfaction
constraint logic programming
sat solvers
real numbers
constraint solvers
conjunctive queries
arc consistency algorithm
neural network
orders of magnitude