Geodesic
Simplifying the propositional satisfiability problem by sub-model propagation
Annales mathematicae et informaticae, Tome 35 (2008), pp. 75-94 
Gábor Kusper; Lajos Csőke; Gergely Kovásznai. Simplifying the propositional satisfiability problem by sub-model propagation. Annales mathematicae et informaticae, Tome 35 (2008), pp. 75-94. http://geodesic.mathdoc.fr/item/AMI_2008_35_a6/
@article{AMI_2008_35_a6,
     author = {G\'abor Kusper and Lajos Cs\H{o}ke and Gergely Kov\'asznai},
     title = {Simplifying the propositional satisfiability problem by sub-model propagation},
     journal = {Annales mathematicae et informaticae},
     pages = {75--94},
     year = {2008},
     volume = {35},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2008_35_a6/}
}
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
UR  - http://geodesic.mathdoc.fr/item/AMI_2008_35_a6/
LA  - en
ID  - AMI_2008_35_a6
ER  - 
%0 Journal Article
%A Gábor Kusper
%A Lajos Csőke
%A Gergely Kovásznai
%T Simplifying the propositional satisfiability problem by sub-model propagation
%J Annales mathematicae et informaticae
%D 2008
%P 75-94
%V 35
%U http://geodesic.mathdoc.fr/item/AMI_2008_35_a6/
%G en
%F AMI_2008_35_a6

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website