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

Andrey Rybalchenko

Published in: CSL (2010)

Keyphrases

constraint solving
constraint propagation
constraint satisfaction problems
constraint logic programming
constraint satisfaction
theoretical insights
computational model
constraint programming
constraint solver
computational complexity
theoretical framework
qualitative and quantitative
finite domain