Publication Entry

[Back]

Talks and Poster Presentations (without Proceedings-Entry):

U. Egly:
"DPLL Procedures for Non-clausal SAT and QSAT Problems";
Talk: Workshop on Computational Logics and Applications, Wien (invited); 2011-07-07 - 2011-07-08.

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