Kullmann, Oliver

Recent Publications

Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference
Fleischner, Herbert, Kullmann, Oliver, Stefan Szeider
Theoretical Computer Science, volume 289, number 1, pages 503-516, 2002.
PDF Cite