×

zbMATH — the first resource for mathematics

Kullmann, Oliver

Compute Distance To:
Author ID: kullmann.oliver Recent zbMATH articles by "Kullmann, Oliver"
Published as: Kullmann, Oliver; Kullmann, O.
Documents Indexed: 31 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 233 times in 143 Documents Cited by Year
New methods for 3-SAT decision and worst-case analysis. Zbl 0930.68066
Kullmann, O.
37
1999
Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference. Zbl 1061.68072
Fleischner, Herbert; Kullmann, Oliver; Szeider, Stefan
31
2002
On a generalization of extended resolution. Zbl 0941.68126
Kullmann, O.
20
1999
Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W.
20
2016
Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets. Zbl 1029.68079
Kullmann, Oliver
19
2003
Investigations on autark assignments. Zbl 0965.03018
Kullmann, Oliver
19
2000
Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. Zbl 1187.68552
Kullmann, Oliver; Lynce, Inês; Marques-Silva, João
12
2006
Worst-case analysis, 3-SAT decision and lower bounds: Approaches for improved SAT algorithms. Zbl 0889.03030
Kullmann, Oliver
9
1997
Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure. Zbl 1242.68290
Kullmann, Oliver
7
2011
The seventh QBF solvers evaluation (QBFEVAL’10). Zbl 1306.68173
Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Inês
6
2010
Constraint satisfaction problems in clausal form. I: Autarkies and deficiency. Zbl 1242.68289
Kullmann, Oliver
6
2011
Green-Tao numbers and SAT. Zbl 1259.68182
Kullmann, Oliver
5
2010
On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\). Zbl 1298.05313
Ahmed, Tanbir; Kullmann, Oliver; Snevily, Hunter
5
2014
Generalising and unifying SLUR and unit-refutation completeness. Zbl 1303.68071
Gwynne, Matthew; Kullmann, Oliver
5
2013
On the use of autarkies for satisfiability decision. Zbl 0990.90545
Kullmann, Oliver
5
2001
Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems. Zbl 1081.68032
Kullmann, Oliver
5
2004
Unified characterisations of resolution hardness measures. Zbl 1423.68409
Beyersdorff, Olaf; Kullmann, Oliver
3
2014
Generalising unit-refutation completeness and SLUR via nested input resolution. Zbl 1319.03036
Gwynne, Matthew; Kullmann, Oliver
3
2014
On variables with few occurrences in conjunctive normal forms. Zbl 1331.68110
Kullmann, Oliver; Zhao, Xishun
3
2011
Polynomial time SAT decision, hypergraph transversals and the Hermitian rank. Zbl 1122.68595
Galesi, Nicola; Kullmann, Oliver
2
2005
On SAT representations of XOR constraints. Zbl 1408.68077
Gwynne, Matthew; Kullmann, Oliver
2
2014
The SAT 2005 solver competition on random instances. Zbl 1116.68087
Kullmann, Oliver
2
2006
Present and future of practical SAT solving. Zbl 1171.68500
Kullmann, Oliver
2
2008
Polynomial time SAT decision for complementation-invariant clause-sets, and sign-non-singular matrices. Zbl 1214.68360
Kullmann, Oliver
2
2007
Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Zbl 1165.68014
Kullmann, Oliver (ed.)
2
2009
On Davis-Putnam reductions for minimally unsatisfiable clause-sets. Zbl 1273.03050
Kullmann, Oliver; Zhao, Xishun
1
2012
Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Zbl 1403.68226
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W.
20
2016
On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\). Zbl 1298.05313
Ahmed, Tanbir; Kullmann, Oliver; Snevily, Hunter
5
2014
Unified characterisations of resolution hardness measures. Zbl 1423.68409
Beyersdorff, Olaf; Kullmann, Oliver
3
2014
Generalising unit-refutation completeness and SLUR via nested input resolution. Zbl 1319.03036
Gwynne, Matthew; Kullmann, Oliver
3
2014
On SAT representations of XOR constraints. Zbl 1408.68077
Gwynne, Matthew; Kullmann, Oliver
2
2014
Generalising and unifying SLUR and unit-refutation completeness. Zbl 1303.68071
Gwynne, Matthew; Kullmann, Oliver
5
2013
On Davis-Putnam reductions for minimally unsatisfiable clause-sets. Zbl 1273.03050
Kullmann, Oliver; Zhao, Xishun
1
2012
Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure. Zbl 1242.68290
Kullmann, Oliver
7
2011
Constraint satisfaction problems in clausal form. I: Autarkies and deficiency. Zbl 1242.68289
Kullmann, Oliver
6
2011
On variables with few occurrences in conjunctive normal forms. Zbl 1331.68110
Kullmann, Oliver; Zhao, Xishun
3
2011
The seventh QBF solvers evaluation (QBFEVAL’10). Zbl 1306.68173
Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Inês
6
2010
Green-Tao numbers and SAT. Zbl 1259.68182
Kullmann, Oliver
5
2010
Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Zbl 1165.68014
Kullmann, Oliver
2
2009
Present and future of practical SAT solving. Zbl 1171.68500
Kullmann, Oliver
2
2008
Polynomial time SAT decision for complementation-invariant clause-sets, and sign-non-singular matrices. Zbl 1214.68360
Kullmann, Oliver
2
2007
Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. Zbl 1187.68552
Kullmann, Oliver; Lynce, Inês; Marques-Silva, João
12
2006
The SAT 2005 solver competition on random instances. Zbl 1116.68087
Kullmann, Oliver
2
2006
Polynomial time SAT decision, hypergraph transversals and the Hermitian rank. Zbl 1122.68595
Galesi, Nicola; Kullmann, Oliver
2
2005
Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems. Zbl 1081.68032
Kullmann, Oliver
5
2004
Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets. Zbl 1029.68079
Kullmann, Oliver
19
2003
Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference. Zbl 1061.68072
Fleischner, Herbert; Kullmann, Oliver; Szeider, Stefan
31
2002
On the use of autarkies for satisfiability decision. Zbl 0990.90545
Kullmann, Oliver
5
2001
Investigations on autark assignments. Zbl 0965.03018
Kullmann, Oliver
19
2000
New methods for 3-SAT decision and worst-case analysis. Zbl 0930.68066
Kullmann, O.
37
1999
On a generalization of extended resolution. Zbl 0941.68126
Kullmann, O.
20
1999
Worst-case analysis, 3-SAT decision and lower bounds: Approaches for improved SAT algorithms. Zbl 0889.03030
Kullmann, Oliver
9
1997
all top 5

Cited by 218 Authors

12 Kullmann, Oliver
12 Marques-Silva, João P.
9 Heule, Marijn J. H.
7 Biere, Armin
6 Kleine Büning, Hans
6 Szeider, Stefan
5 Gutin, Gregory Z.
5 Janota, Mikoláš
5 Lynce, Inês
5 Seidl, Martina
5 Yeo, Anders
5 Zhao, Xishun
4 Bright, Curtis
4 Ganesh, Vijay
4 Kiesl, Benjamin
4 Kotsireas, Ilias S.
4 Lonsing, Florian
4 Piette, Cédric
4 Subramani, Krishnan
3 Cruz-Filipe, Luís
3 Grégoire, Éric
3 Ignatyev, Alexey A.
3 Junosza-Szaniawski, Konstanty
3 Liberatore, Paolo
3 Mazure, Bertrand
3 Mencía, Carlos
3 Schneider-Kamp, Peter
3 Thapen, Neil
3 Van Gelder, Allen
2 Beyersdorff, Olaf
2 Brun, Yuriy
2 Bruni, Renato
2 Chew, Leroy
2 Crowston, Robert
2 Dahllöf, Vilhelm
2 Fomin, Fedor V.
2 Franco, John V.
2 Gramm, Jens
2 Hirsch, Edward A.
2 Jonsson, Peter A.
2 Kronegger, Martin
2 Lagniez, Jean-Marie
2 Liffiton, Mark H.
2 Lonc, Zbigniew
2 Makino, Kazuhisa
2 Manquinho, Vasco M.
2 Marquis, Pierre
2 Martins, Ruben
2 Niedermeier, Rolf
2 Peñaloza, Rafael
2 Previti, Alessandro
2 Rebola-Pardo, Adrián
2 Saurabh, Saket
2 Scheder, Dominik
2 Tuczyński, Michał
2 Wojciechowski, Piotr J.
1 Ahmed, Tanbir
1 Alber, Jochen
1 Alviano, Mario
1 Andraus, Zaher S.
1 Anjos, Miguel F.
1 Arbelaez, Alejandro
1 Avis, David M.
1 Baglini, Lorenzo Luperi
1 Becker, Bernd
1 Beckmann, Arnold
1 Beigel, Richard
1 Belov, Anton
1 Bodlaender, Hans L.
1 Bonacina, Ilario
1 Brandt, Felix
1 Bundala, Daniel
1 Büning, H. Kleine
1 Buss, Sam
1 Bykova, Valentina Vladimirovna
1 Calude, Cristian S.
1 Chao, Dingbo
1 Chen, Shuwei
1 Cheung, Kevin K. H.
1 Chow, Sam
1 Codish, Michael
1 Cuong, C. K.
1 Czarnecki, Krzysztof
1 Damaschke, Peter
1 Dantsin, Evgeny
1 Desrosiers, Christian
1 Di Nasso, Mauro
1 Díaz, Juan Francisco
1 Dilkina, Bistra
1 Đoković, Dragomir Ž.
1 Dodaro, Carmine
1 Duque, Robinson
1 Egly, Uwe
1 Fernau, Henning
1 Fichte, Johannes Klaus
1 Fleischner, Herbert J.
1 Galesi, Nicola
1 Galinier, Philippe
1 Ganian, Robert
1 Gaspers, Serge
...and 118 more Authors

Citations by Year