Login / Signup
CPBPV: a constraint-programming framework for bounded program verification.
Hélène Collavizza
Michel Rueher
Pascal Van Hentenryck
Published in:
Constraints An Int. J. (2010)
Keyphrases
</>
constraint programming
constraint satisfaction
integer programming
combinatorial problems
constraint satisfaction problems
constraint propagation
search heuristics
constraint solving
arc consistency
column generation
symmetry breaking
constraint based pattern mining