Towards better heuristics for solving bounded model checking problems.

Anissa Kheireddine Etienne Renault Souheib Baarir

Published in: Constraints An Int. J. (2023)

Keyphrases

bounded model checking
solving problems
resource constrained project scheduling problem
combinatorial optimization
partial solutions
search heuristics
solving complex
constrained problems
np complete
search strategy
np complete problems