Finding bugs with a constraint solver.

Daniel Jackson Mandana Vaziri

Published in: ISSTA (2000)

Keyphrases

constraint solver
constraint solving
constraint programming
linear constraints
constraint satisfaction problems
constraint propagation
information retrieval
constraint satisfaction
sat solvers
combinatorial problems
real numbers
pattern recognition
expert systems
relational databases