Items where authors include "Kullmann, O"

Proceedings Paper

Beyersdorff, O and Kullmann, O (2014) Unified characterisations of resolution hardness measures. In: Sinz, C and Egly, U, (eds.) Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. 17th International Conference, Held as Part of the Vienna Summer of Logic, 14-17 Jul 2014, Vienna, Austria. Lecture Notes in Computer Science , 8561 L . Springer , 170 - 187.