A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.

Kim Marriott Sitt Chen Chok Alan Finlay

Published in: CP (1998)

Keyphrases

constraint solving
constraint propagation
constraint satisfaction
constraint logic programming
constraint satisfaction problems
constraint solver
constraint programming
user interaction
user friendly
direct manipulation
graphical display
description logics
finite domain
optimization problems