Login / Signup
A reactive and hybrid constraint solver.
Éric Monfroy
Carlos Castro
Broderick Crawford
Ricardo Soto
Fernando Paredes
Christian Figueroa
Published in:
J. Exp. Theor. Artif. Intell. (2013)
Keyphrases
</>
constraint solver
constraint solving
constraint programming
linear constraints
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint logic programming
sat solvers
arc consistency algorithm
search algorithm
pattern recognition
search space