Greetings,
We are pleased to announce that the following paper has been accepted to
the
27th International Conference on Principles and Practice of Constraint
Programming (CP'21)
that will take place online, on the 25-29th of October 2021.
Title and corresponding authors:
"Towards better Heuristics for Solving
Bounded Model Checking Problems"
Anissa Kheireddine(1) and Etienne Renault(1) and Souheib Baarir(2)
(1) LRDE, EPITA, Le Kremlin-Bicêtre, France
(2) LIP6, Sorbonne Université, Paris, France
Abstract:
This paper presents a new way to improve the performance of the
SAT-based
bounded model checking problem by exploiting relevant information
identified
through the characteristics of the original problem. This led us to
design a
new way of building interesting heuristics based on the structure of
the
underlying problem. The proposed methodology is generic and can be
applied
for any SAT problem. This paper compares the state-of-the-art approach
with two
new heuristics: Structure-based and Linear Programming heuristics and
show promising results.
More information at :
https://www.lrde.epita.fr/wiki/Publications/kheireddine.21.cp
