DROPS

Document

Short Paper

DOI: 10.4230/LIPIcs.CP.2021.7

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper)

Authors: Anissa Kheireddine, Etienne Renault, and Souheib Baarir

Published in: LIPIcs, Volume 210, 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)

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.

Cite as

Anissa Kheireddine, Etienne Renault, and Souheib Baarir. Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). In 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 210, pp. 7:1-7:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{kheireddine_et_al:LIPIcs.CP.2021.7,
  author =	{Kheireddine, Anissa and Renault, Etienne and Baarir, Souheib},
  title =	{{Towards Better Heuristics for Solving Bounded Model Checking Problems}},
  booktitle =	{27th International Conference on Principles and Practice of Constraint Programming (CP 2021)},
  pages =	{7:1--7:11},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-211-2},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{210},
  editor =	{Michel, Laurent D.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2021.7},
  URN =		{urn:nbn:de:0030-drops-152982},
  doi =		{10.4230/LIPIcs.CP.2021.7},
  annote =	{Keywords: Bounded model checking, SAT, Structural information, Linear Programming}
}

Search Results

Documents authored by Kheireddine, Anissa

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper)

Abstract

Cite as

Thanks for your feedback!

Could not send message