%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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2008_35_a6/
%G en
%F AMI_2008_35_a6