Talks and Poster Presentations (with Proceedings-Entry):
U. Egly:
"On Stronger Calculi for QBFs";
Talk: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016,
Bordeaux, France;
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,
LNCS 9710
(2016),
419
- 434.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-40970-2_26
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.