Simplifying the propositional satisfiability problem by sub-model propagation.

Kusper, Gábor, Csõke, Lajos, and Kovásznai, Gergely. "Simplifying the propositional satisfiability problem by sub-model propagation.." Annales Mathematicae et Informaticae 35 (2008): 75-94. <http://eudml.org/doc/225391>.

@article{Kusper2008,
author = {Kusper, Gábor, Csõke, Lajos, Kovásznai, Gergely},
journal = {Annales Mathematicae et Informaticae},
keywords = {SAT; blocked clause; nondecisive clause},
language = {eng},
pages = {75-94},
publisher = {Eszterházy Károly College, Institute of Mathematics and Computer Science},
title = {Simplifying the propositional satisfiability problem by sub-model propagation.},
url = {http://eudml.org/doc/225391},
volume = {35},
year = {2008},
}

TY - JOUR
AU - Kusper, Gábor
AU - Csõke, Lajos
AU - Kovásznai, Gergely
TI - Simplifying the propositional satisfiability problem by sub-model propagation.
JO - Annales Mathematicae et Informaticae
PY - 2008
PB - Eszterházy Károly College, Institute of Mathematics and Computer Science
VL - 35
SP - 75
EP - 94
LA - eng
KW - SAT; blocked clause; nondecisive clause
UR - http://eudml.org/doc/225391
ER -