Difference between revisions of "Publications/kheireddine.21.cp"

From LRDE

(Created page with "{{Publication | published = true | date = 2021-08-31 | authors = Anissa kheireddine, Etienne Renault, Souheib Baarrir | title = Towards better Heuristics for solving Bounded M...")
 
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
| published = true
 
| published = true
 
| date = 2021-08-31
 
| date = 2021-08-31
| authors = Anissa kheireddine, Etienne Renault, Souheib Baarrir
+
| authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir
 
| title = Towards better Heuristics for solving Bounded Model Checking Problems
 
| title = Towards better Heuristics for solving Bounded Model Checking Problems
| booktitle = Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21)
+
| booktitle = Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP)
  +
| editors = Laurent D Michel
| series = ??
 
  +
| series = Leibniz International Proceedings in Informatics (LIPIcs)
| publisher = ??
 
  +
| address = Montpellier, France (Virtual Conference)
| volume = ??
 
| pages = ??
+
| pages = 7:1 to 7:11
 
| volume = 210
  +
| publisher = Schloss Dagstuhl – Leibniz-Zentrum für Informatik
 
| 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.
 
| 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.
 
| lrdeprojects = Spot
 
| lrdeprojects = Spot
Line 15: Line 17:
 
| type = inproceedings
 
| type = inproceedings
 
| id = kheireddine.21.cp
 
| id = kheireddine.21.cp
| identifier = doi:??
+
| identifier = doi:10.4230/LIPIcs.CP.2021.7
 
| bibtex =
 
| bibtex =
 
@InProceedings<nowiki>{</nowiki> kheireddine.21.cp,
 
@InProceedings<nowiki>{</nowiki> kheireddine.21.cp,
author = <nowiki>{</nowiki>Anissa kheireddine and Etienne Renault and Souheib
+
author = <nowiki>{</nowiki>Anissa Kheireddine and \'Etienne Renault and Souheib
 
Baarrir<nowiki>}</nowiki>,
 
Baarrir<nowiki>}</nowiki>,
 
title = <nowiki>{</nowiki>Towards better Heuristics for solving Bounded Model
 
title = <nowiki>{</nowiki>Towards better Heuristics for solving Bounded Model
 
Checking Problems<nowiki>}</nowiki>,
 
Checking Problems<nowiki>}</nowiki>,
 
booktitle = <nowiki>{</nowiki>Proceedings of the 27th International Conference on
 
booktitle = <nowiki>{</nowiki>Proceedings of the 27th International Conference on
Principles and Practice of Constraint Programmings
+
Principles and Practice of Constraint Programmings (CP)<nowiki>}</nowiki>,
(CP'21)<nowiki>}</nowiki>,
+
editor = <nowiki>{</nowiki>Laurent D. Michel<nowiki>}</nowiki>,
series = <nowiki>{</nowiki>??<nowiki>}</nowiki>,
+
series = <nowiki>{</nowiki>Leibniz International Proceedings in Informatics
publisher = <nowiki>{</nowiki>??<nowiki>}</nowiki>,
+
(LIPIcs)<nowiki>}</nowiki>,
volume = <nowiki>{</nowiki>??<nowiki>}</nowiki>,
+
address = <nowiki>{</nowiki>Montpellier, France (Virtual Conference)<nowiki>}</nowiki>,
pages = <nowiki>{</nowiki>??<nowiki>}</nowiki>,
 
 
year = <nowiki>{</nowiki>2021<nowiki>}</nowiki>,
 
year = <nowiki>{</nowiki>2021<nowiki>}</nowiki>,
 
pages = <nowiki>{</nowiki>7:1--7:11<nowiki>}</nowiki>,
  +
volume = <nowiki>{</nowiki>210<nowiki>}</nowiki>,
  +
publisher = <nowiki>{</nowiki>Schloss Dagstuhl -- Leibniz-Zentrum f<nowiki>{</nowiki>\"u<nowiki>}</nowiki>r Informatik<nowiki>}</nowiki>,
 
month = oct,
 
month = oct,
abstract = <nowiki>{</nowiki> This paper presents a new way to improve the performance
+
abstract = <nowiki>{</nowiki>This paper presents a new way to improve the performance
 
of the SAT-based bounded model checking problem by
 
of the SAT-based bounded model checking problem by
 
exploiting relevant information identified through the
 
exploiting relevant information identified through the
Line 41: Line 45:
 
with two new heuristics: Structure-based and Linear
 
with two new heuristics: Structure-based and Linear
 
Programming heuristics and show promising results.<nowiki>}</nowiki>,
 
Programming heuristics and show promising results.<nowiki>}</nowiki>,
doi = <nowiki>{</nowiki>??<nowiki>}</nowiki>
+
doi = <nowiki>{</nowiki>10.4230/LIPIcs.CP.2021.7<nowiki>}</nowiki>,
  +
isbn = <nowiki>{</nowiki>978-3-95977-211-2<nowiki>}</nowiki>,
  +
issn = <nowiki>{</nowiki>1868-8969<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
   

Latest revision as of 10:29, 12 January 2022

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.

Documents

Bibtex (lrde.bib)

@InProceedings{	  kheireddine.21.cp,
  author	= {Anissa Kheireddine and \'Etienne Renault and Souheib
		  Baarrir},
  title		= {Towards better Heuristics for solving Bounded Model
		  Checking Problems},
  booktitle	= {Proceedings of the 27th International Conference on
		  Principles and Practice of Constraint Programmings (CP)},
  editor	= {Laurent D. Michel},
  series	= {Leibniz International Proceedings in Informatics
		  (LIPIcs)},
  address	= {Montpellier, France (Virtual Conference)},
  year		= {2021},
  pages		= {7:1--7:11},
  volume	= {210},
  publisher	= {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  month		= oct,
  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.},
  doi		= {10.4230/LIPIcs.CP.2021.7},
  isbn		= {978-3-95977-211-2},
  issn		= {1868-8969}
}