Publications

Selected papers

• Csaba Biró, Gergely Kovásznai, Armin Biere, Gábor Kusper, Gábor Geda: Cube-and-Conquer Approach for SAT Solving on Grids, submitted to Annales Mathematicae et Informaticae, under review, 2013.
• Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik: Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems, Annales Mathematicae et Informaticae, Vol. 37, ISSN 1787-5021, pp. 51-75, 2010.
• Gergely Kovásznai, Gábor Kusper: Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution Tableaux, Annales Mathematicae et Informaticae, Vol. 36, ISSN 1787-5021, pp. 85-101, 2009.
• Gábor Kusper, Lajos Csőke, Gergely Kovásznai: Simplifying the propositional satisfiability problem by sub-model propagation, Annales Mathematicae et Informaticae, Vol. 35, ISSN 1787-5021, pp. 75-94, 2008.