Talks and Poster Presentations (with Proceedings-Entry):
F. Lonsing, U. Egly:
"DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL";
Talk: CADE 26 - 26th International Conference on Automated Deduction,
Gothenburg, Sweden;
2017-08-06
- 2017-08-11; in: "Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings",
Springer,
Lecture Notes in Computer Science / 10395
(2017),
ISBN: 978-3-319-63046-5;
371
- 384.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-63046-5_23
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.