Faster constraint solving with subtypes.

Jonathan Edwards Daniel Jackson Emina Torlak Vincent Yeung

Published in: ISSTA (2004)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
finite domain
np complete
integrity constraints