CPBVP: A Constraint-Programming Framework for Bounded Program Verification

Hélène Collavizza Michel Rueher Pascal Van Hentenryck

Published in: CoRR (2008)

Keyphrases

constraint programming
constraint propagation
constraint satisfaction
search strategies
combinatorial problems
symmetry breaking
global constraints
constraint satisfaction problems
column generation
constraint solver