CPBPV: A Constraint-Programming Framework for Bounded Program Verification.

Hélène Collavizza Michel Rueher Pascal Van Hentenryck

Published in: CP (2008)

Keyphrases

constraint programming
constraint propagation
constraint satisfaction problems
combinatorial problems
constraint satisfaction
integer programming
column generation
meta level
symmetry breaking
constraint optimization
genetic algorithm
logic programs
search strategies
np hard problems