Simplifying the propositional satisfiability problem by sub-model propagation.
Kusper, Gábor ; Csõke, Lajos ; Kovásznai, Gergely
Annales Mathematicae et Informaticae, Tome 36 (2008), p. 75-94 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 2008-01-01
EUDML-ID : urn:eudml:doc:225391 
@article{05770428,
     title = {Simplifying the propositional satisfiability problem by sub-model propagation.},
     journal = {Annales Mathematicae et Informaticae},
     volume = {36},
     year = {2008},
     pages = {75-94},
     zbl = {1212.68079},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05770428}
}

Kusper, Gábor; Csõke, Lajos; Kovásznai, Gergely. Simplifying the propositional satisfiability problem by sub-model propagation.. Annales Mathematicae et Informaticae, Tome 36 (2008) pp. 75-94. http://gdmltest.u-ga.fr/item/05770428/