Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

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 July 2014, Vienna, Austria. Lecture Notes in Computer Science , 8561 L . Springer , 170 - 187.

This list was generated on Sun Aug 18 19:33:25 2019 BST.