With kind support of the Vienna Center for Logic and Algorithms (VCLA), the Center for Computer Science (CCS) and the Wolfgang Pauli Institut (WPI).
Olga Tveretina
Relative Efficiency of Propositional Proof Systems Based on Resolution and OBDDs
The Knowledge Based Systems Group hosted a joint talk with Olga Tveretina on Monday, February 13, 2012.