@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},
     publisher = {mathdoc},
     volume = {35},
     year = {2008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2008_35_a6/}
}