Constraint Solving for Program Verification: Theory and Practice by Example.

Andrey Rybalchenko

Published in: CAV (2010)

Keyphrases

constraint solving
constraint logic programming
constraint satisfaction
constraint solver
constraint satisfaction problems
constraint propagation
constraint programming
finite domain
constraint solvers
theoretical insights
real world
knowledge base
theoretical framework