Kullmann, Oliver

Recent Publications

Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference

2002