Oliver Kullmann

Available identifiers

zbMath Open kullmann.oliverMaRDI QIDQ391123

List of research outcomes

Publication	Date of Publication	Type
Projection heuristics for binary branchings between sum and product	2022-03-22	Paper
On computing the union of MUSes	2020-05-20	Paper
Classification of minimally unsatisfiable 2-CNFs	2020-03-07	Paper
Minimal unsatisfiability and minimal strongly connected digraphs	2018-08-10	Paper
Minimal unsatisfiability and deficiency: recent developments	2016-10-26	Paper
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer	2016-09-05	Paper
Unsatisfiable hitting clause-sets with three more clauses than variables	2016-04-05	Paper
Computing Maximal Autarkies with Few and Simple Oracle Queries	2015-11-20	Paper
Generalising unit-refutation completeness and SLUR via nested input resolution	2015-07-02	Paper
Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses	2015-05-09	Paper
Generalising and Unifying SLUR and Unit-Refutation Completeness	2014-11-04	Paper
Unified Characterisations of Resolution Hardness Measures	2014-09-26	Paper
On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)	2014-08-22	Paper
Bounds for variables with few occurrences in conjunctive normal forms	2014-08-04	Paper
On SAT Representations of XOR Constraints	2014-03-31	Paper
On Davis-Putnam reductions for minimally unsatisfiable clause-sets	2014-01-10	Paper
On Davis-Putnam reductions for minimally unsatisfiable clause-sets	2013-08-12	Paper
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency	2012-07-04	Paper
On Variables with Few Occurrences in Conjunctive Normal Forms	2011-06-17	Paper
The Seventh QBF Solvers Evaluation (QBFEVAL’10)	2010-09-29	Paper
Green-Tao Numbers and SAT	2010-09-29	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices	2009-03-10	Paper
Present and Future of Practical SAT Solving	2009-01-22	Paper
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3429157	2007-03-30	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems	2004-05-27	Paper
Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets	2003-09-15	Paper
Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2741528	2001-09-24	Paper
Investigations on autark assignments	2001-07-26	Paper
On a generalization of extended resolution	2000-08-03	Paper
New methods for 3-SAT decision and worst-case analysis	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4375761	1998-06-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oliver Kullmann