| New methods for 3-SAT decision and worst-case analysis O Kullmann Theoretical Computer Science 223 (1-2), 1-72, 1999 | 225 | 1999 |
| Solving and verifying the boolean pythagorean triples problem via cube-and-conquer MJH Heule, O Kullmann, VW Marek International Conference on Theory and Applications of Satisfiability …, 2016 | 163 | 2016 |
| Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads MJH Heule, O Kullmann, S Wieringa, A Biere HVC 2011 Haifa Verification Conference 2011 7261, 50-65, 2011 | 145 | 2011 |
| Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference H Fleischner, O Kullmann, S Szeider Theoretical Computer Science 289 (1), 503-516, 2002 | 140 | 2002 |
| On a generalization of extended resolution O Kullmann Discrete Applied Mathematics 96, 149-176, 1999 | 137 | 1999 |
| Investigations on autark assignments O Kullmann Discrete Applied Mathematics 107 (1-3), 99-137, 2000 | 98 | 2000 |
| An application of matroid theory to the SAT problem O Kullmann Proceedings 15th Annual IEEE Conference on Computational Complexity, 116-124, 2000 | 92 | 2000 |
| Minimal Unsatisfiability and Autarkies. HK Büning, O Kullmann Handbook of Satisfiability 185, 339-401, 2009 | 90 | 2009 |
| Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets O Kullmann Discrete Applied Mathematics 130 (2), 209-249, 2003 | 69 | 2003 |
| Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel O Kullmann, I Lynce, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2006 | 57 | 2006 |
| Investigating a general hierarchy of polynomially decidable classes of CNF’s based on short tree-like resolution proofs O Kullmann Technical Report TR99-041, Electronic Colloquium on Computational Complexity …, 1999 | 56 | 1999 |
| Deciding propositional tautologies: Algorithms and their complexity O Kullmann, H Luckhardt preprint 82, 1997 | 55 | 1997 |
| Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems O Kullmann Annals of Mathematics and Artificial Intelligence 40 (3), 303-352, 2004 | 50 | 2004 |
| Fundaments of Branching Heuristics. O Kullmann Handbook of Satisfiability 185, 205-244, 2009 | 48 | 2009 |
| and Theoretic O Kullmann Satisfiability Problem: Theory and Applications: DIMACS Workshop, March 11 …, 1997 | 47 | 1997 |
| Investigating the behaviour of a SAT solver on random formulas O Kullmann Technical report Swansea University CSR 23-2002, 119, 2002 | 46 | 2002 |
| The science of brute force MJH Heule, O Kullmann Communications of the ACM 60 (8), 70-79, 2017 | 44 | 2017 |
| The seventh QBF solvers evaluation (QBFEVAL’10) C Peschiera, L Pulina, A Tacchella, U Bubeck, O Kullmann, I Lynce International Conference on Theory and Applications of Satisfiability …, 2010 | 44 | 2010 |
| The combinatorics of conflicts between clauses O Kullmann International Conference on Theory and Applications of Satisfiability …, 2003 | 36 | 2003 |
| On the van der Waerden numbers w (2; 3, t) T Ahmed, O Kullmann, H Snevily Discrete Applied Mathematics 174, 27-51, 2014 | 34 | 2014 |
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
