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 -