pith. sign in

Oliver Kullmann

Identifiers

  • name variant Oliver Kullmann 0.60 · backfill

Papers (18)

  1. The classification of minimally unsatisfiable 2-CNFs -- a fundamental study cs.DM · 2020 · author #2
  2. Minimal unsatisfiability and deficiency: recent developments cs.DM · 2016 · author #1
  3. Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer cs.DM · 2016 · author #2
  4. Unsatisfiable hitting clause-sets with three more clauses than variables cs.DM · 2016 · author #1
  5. Computing maximal autarkies with few and simple oracle queries cs.LO · 2015 · author #1
  6. Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses cs.DM · 2015 · author #1
  7. Bounds for variables with few occurrences in conjunctive normal forms math.CO · 2014 · author #1
  8. A framework for good SAT translations, with applications to CNF representations of XOR constraints cs.CC · 2014 · author #2
  9. Hardness measures and resolution lower bounds cs.CC · 2013 · author #2
  10. Trading inference effort versus size in CNF Knowledge Compilation cs.CC · 2013 · author #2
  11. On SAT representations of XOR constraints cs.CC · 2013 · author #2
  12. Towards a theory of good SAT representations cs.AI · 2013 · author #2
  13. Generalising unit-refutation completeness and SLUR via nested input resolution cs.LO · 2012 · author #2
  14. On Davis-Putnam reductions for minimally unsatisfiable clause-sets cs.DM · 2012 · author #1
  15. Constraint satisfaction problems in clausal form cs.DM · 2011 · author #1
  16. On the van der Waerden numbers w(2;3,t) math.CO · 2011 · author #2
  17. On variables with few occurrences in conjunctive normal forms cs.DM · 2010 · author #1
  18. Exact Ramsey Theory: Green-Tao numbers and SAT cs.DM · 2010 · author #1

Mentions

  • 1204.6529 #2 · backfill · confidence 0.70 Oliver Kullmann
  • 1202.2600 #1 · backfill · confidence 0.70 Oliver Kullmann
  • 1103.3693 #1 · backfill · confidence 0.70 Oliver Kullmann
  • 1102.5433 #2 · backfill · confidence 0.70 Oliver Kullmann
  • 1010.5756 #1 · backfill · confidence 0.70 Oliver Kullmann
  • 1004.0653 #1 · backfill · confidence 0.70 Oliver Kullmann

Frequent Coauthors