TY  - JOUR
AU  - Gábor Kusper
AU  - Lajos Csőke
AU  - Gergely Kovásznai
TI  - Simplifying the propositional satisfiability problem by sub-model propagation
JO  - Annales mathematicae et informaticae
PY  - 2008
SP  - 75
EP  - 94
VL  - 35
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMI_2008_35_a6/
LA  - en
ID  - AMI_2008_35_a6
ER  -