[Back]


Talks and Poster Presentations (without Proceedings-Entry):
G. Reger, M. Suda, A. Voronkov:
"New Techniques in Clausal Form Generation";
Talk: Prague Automated Reasoning Seminar, Prague, Czech Republick; 2016-10-31.

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