Oliver Kullmann

Citado por

	Total	Desde 2019
Citas	2902	902
Índice h	26	12
Índice i10	52	15

220

110

165

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 33 46 35 46 84 65 103 95 96 104 90 68 136 90 165 187 80 123 142 134 135 149 204 112 168 134

Acceso público

Ver todo

9 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Matthew GwynneSwansea UniversityDirección de correo verificada de swan.ac.uk
Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaDirección de correo verificada de icrea.cat
Siert WieringaDirección de correo verificada de siert.nl
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
Stefan SzeiderProfessor, Head of Algorithms and Complexity Group, TU Wien, Vienna, AustriaDirección de correo verificada de szeider.net
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyDirección de correo verificada de uni-jena.de
Nicola GalesiSapienza University RomeDirección de correo verificada de uniroma1.it
Luca PulinaUniversity of SassariDirección de correo verificada de uniss.it
Armando TacchellaProfessor, Information Processing Systems, University of GenoaDirección de correo verificada de unige.it
Daniel Le BerreCRIL-CNRS Université d'ArtoisDirección de correo verificada de cril.fr
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Dirección de correo verificada de labri.fr
Heribert VollmerProfessor für Theoretische Informatik, Leibniz Universität HannoverDirección de correo verificada de thi.uni-hannover.de

Seguir

Oliver Kullmann

Swansea University

Dirección de correo verificada de Swansea.ac.uk - Página principal

Satisfiability SAT Algorithms Computational Complexity Combinatorics


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	317	2016
New methods for 3-SAT decision and worst-case analysis O Kullmann Theoretical Computer Science 223 (1-2), 1-72, 1999	253	1999
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	234	2011
On a generalization of extended resolution O Kullmann Discrete Applied Mathematics 96, 149-176, 1999	175	1999
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	143	2002
The science of brute force MJH Heule, O Kullmann Communications of the ACM 60 (8), 70-79, 2017	114	2017
Investigations on autark assignments O Kullmann Discrete Applied Mathematics 107 (1-3), 99-137, 2000	111	2000
Minimal unsatisfiability and autarkies H Kleine Büning, O Kullmann Handbook of Satisfiability, 339-401, 2009	98	2009
An application of matroid theory to the SAT problem O Kullmann Proceedings 15th Annual IEEE Conference on Computational Complexity, 116-124, 2000	97	2000
Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets O Kullmann Discrete Applied Mathematics 130 (2), 209-249, 2003	77	2003
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	67	1999
Deciding propositional tautologies: Algorithms and their complexity O Kullmann, H Luckhardt preprint 82, 1997	62	1997
Fundaments of branching heuristics O Kullmann Handbook of Satisfiability, 205-244, 2009	61	2009
Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel O Kullmann, I Lynce, J Marques-Silva Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006	57	2006
Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems O Kullmann Annals of Mathematics and Artificial Intelligence 40, 303-352, 2004	55	2004
Investigating the behaviour of a SAT solver on random formulas O Kullmann Technical report Swansea University CSR 23-2002, 119, 2002	52	2002
The seventh QBF solvers evaluation (QBFEVAL’10) C Peschiera, L Pulina, A Tacchella, U Bubeck, O Kullmann, I Lynce Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010	45	2010
Worst-case analysis, 3-SAT decision and lower bounds: Approaches for improved SAT algorithms. O Kullman Satisfiability Problem: Theory and Applications 35, 261-313, 1996	45	1996
On the van der Waerden numbers w (2; 3, t) T Ahmed, O Kullmann, H Snevily Discrete Applied Mathematics 174, 27-51, 2014	41	2014
Algorithms for SAT/TAUT decision based on various measures O Kullmann, H Luckhardt Preprint 71, 1998	36	1998

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores