VISEXP: Visualizing Constraint Solver Dynamics Using Explanations.

Mohammad Ghoniem Narendra Jussien Jean-Daniel Fekete

Published in: FLAIRS Conference (2004)

Keyphrases

constraint solver
constraint solving
constraint programming
linear constraints
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint logic programming
sat solvers
real numbers
arc consistency algorithm
constraint solvers
video sequences
special case