Talks and Poster Presentations (with Proceedings-Entry):

F. Lonsing, U. Egly, M. Seidl:
"Q-Resolution with Generalized Axioms";
Talk: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, Bordeaux; 2016-07-05 - 2016-07-08; in: "Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings", Springer, 9710 (2016), ISBN: 978-3-319-40969-6; 435 - 452.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

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