Combining techniques of bounded model checking and constraint programming to aid for error localization.
Mohammed BekkouchePublished in: Constraints An Int. J. (2017)
Keyphrases
- constraint programming
- bounded model checking
- combinatorial problems
- constraint satisfaction problems
- model checking
- constraint propagation
- constraint satisfaction
- formal verification
- global constraints
- linear temporal logic
- arc consistency
- integer programming
- temporal logic
- symmetry breaking
- column generation
- search heuristics
- constraint optimization
- search strategies
- hard and soft constraints
- finite domain
- np hard problems
- constraint logic programming
- itemset mining
- constraint problems
- backtrack search
- temporal constraints