[Back]


Talks and Poster Presentations (without Proceedings-Entry):
S. Bova:
"A Strongly Exponential Separation of DNNFs from CNFs";
Talk: Symposium on New Frontiers in Knowledge Compilation, Wien (invited); 2015-06-05.

Created from the Publication Database of the Vienna University of Technology.