Modern constraint solving by propagation.

Christopher Jefferson

Published in: MEMOCODE (2011)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
finite domain
wave propagation
np hard
object oriented
np complete