On strategies for solving boolean satisfiability problems

Andrzej Pulka

doi:10.1109/ICSES.2012.6382222

On strategies for solving boolean satisfiability problems

Andrzej Pulka

Department of Electronics; Electrical Engineering and Microelectronics (RAU/RAU11)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Abstract

The paper deals with one of the most important problems of modern digital systems verification and design - Boolean satisfiability checking. The work analyzes different strategies for SAT solving evaluations. The approach is based on FUDASAT algorithm that employs commonsense reasoning methodology. Problems of variables selection, conflicts analyses and clauses set extensions are discussed. The presented methodology is exemplified on various benchmarks' evaluations. Basing on the results of practical experiments a set of navigation rules, controlling Boolean satisfiablity checking process, are formulated. Finally, the author summarizes the benefits of the proposed SAT solving technique.

Original language	English
Title of host publication	2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings
DOIs	https://doi.org/10.1109/ICSES.2012.6382222
Publication status	Published - 2012
Event	2012 International Conference on Signals and Electronic Systems, ICSES 2012 - Wroclaw, Poland Duration: 18 Sept 2012 → 21 Sept 2012

Publication series

Name	2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings

Conference

Conference	2012 International Conference on Signals and Electronic Systems, ICSES 2012
Country/Territory	Poland
City	Wroclaw
Period	18/09/12 → 21/09/12

ASJC Scopus subject areas

Signal Processing
Electrical and Electronic Engineering

Access to Document

10.1109/ICSES.2012.6382222

Cite this

@inproceedings{f0326c2ab4ee412884375cb9a67899a4,

title = "On strategies for solving boolean satisfiability problems",

abstract = "The paper deals with one of the most important problems of modern digital systems verification and design - Boolean satisfiability checking. The work analyzes different strategies for SAT solving evaluations. The approach is based on FUDASAT algorithm that employs commonsense reasoning methodology. Problems of variables selection, conflicts analyses and clauses set extensions are discussed. The presented methodology is exemplified on various benchmarks' evaluations. Basing on the results of practical experiments a set of navigation rules, controlling Boolean satisfiablity checking process, are formulated. Finally, the author summarizes the benefits of the proposed SAT solving technique.",

author = "Andrzej Pulka",

year = "2012",

doi = "10.1109/ICSES.2012.6382222",

language = "English",

isbn = "9781467317092",

series = "2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings",

booktitle = "2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings",

note = "2012 International Conference on Signals and Electronic Systems, ICSES 2012 ; Conference date: 18-09-2012 Through 21-09-2012",

}

Pulka, A 2012, On strategies for solving boolean satisfiability problems. in 2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings., 6382222, 2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings, 2012 International Conference on Signals and Electronic Systems, ICSES 2012, Wroclaw, Poland, 18/09/12. https://doi.org/10.1109/ICSES.2012.6382222

On strategies for solving boolean satisfiability problems. / Pulka, Andrzej.
2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings. 2012. 6382222 (2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On strategies for solving boolean satisfiability problems

AU - Pulka, Andrzej

PY - 2012

Y1 - 2012

N2 - The paper deals with one of the most important problems of modern digital systems verification and design - Boolean satisfiability checking. The work analyzes different strategies for SAT solving evaluations. The approach is based on FUDASAT algorithm that employs commonsense reasoning methodology. Problems of variables selection, conflicts analyses and clauses set extensions are discussed. The presented methodology is exemplified on various benchmarks' evaluations. Basing on the results of practical experiments a set of navigation rules, controlling Boolean satisfiablity checking process, are formulated. Finally, the author summarizes the benefits of the proposed SAT solving technique.

AB - The paper deals with one of the most important problems of modern digital systems verification and design - Boolean satisfiability checking. The work analyzes different strategies for SAT solving evaluations. The approach is based on FUDASAT algorithm that employs commonsense reasoning methodology. Problems of variables selection, conflicts analyses and clauses set extensions are discussed. The presented methodology is exemplified on various benchmarks' evaluations. Basing on the results of practical experiments a set of navigation rules, controlling Boolean satisfiablity checking process, are formulated. Finally, the author summarizes the benefits of the proposed SAT solving technique.

UR - https://www.scopus.com/pages/publications/84872379349

U2 - 10.1109/ICSES.2012.6382222

DO - 10.1109/ICSES.2012.6382222

M3 - Conference contribution

AN - SCOPUS:84872379349

SN - 9781467317092

T3 - 2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings

BT - 2012 International Conference on Signals and Electronic Systems, ICSES 2012 - The Conference Proceedings

T2 - 2012 International Conference on Signals and Electronic Systems, ICSES 2012

Y2 - 18 September 2012 through 21 September 2012

ER -

On strategies for solving boolean satisfiability problems

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this