Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper).
Anissa KheireddineEtienne RenaultSouheib BaarirPublished in: CP (2021)
Keyphrases
- solving problems
- search heuristics
- bounded model checking
- solving complex
- heuristic methods
- np complete problems
- reinforcement learning
- dynamic programming
- optimization problems
- np complete
- model checking
- decision problems
- combinatorial optimization
- constraint programming
- resource constrained project scheduling problem
- constrained problems