Login / Signup
Building a Constraint Solver that Learns.
Susan L. Epstein
Published in:
AAAI Fall Symposium: Biologically Inspired Cognitive Architectures (2008)
Keyphrases
</>
constraint solver
constraint solving
constraint programming
linear constraints
constraint satisfaction
constraint propagation
constraint logic programming
arc consistency algorithm
expert systems
sat solvers
real numbers
path consistency