Talks and Poster Presentations (with Proceedings-Entry):
F. Lonsing, U. Egly:
"Incremental QBF Solving";
Talk: International Conference on Principles and Practice of Constraint Programming,
Lyon, Frankreich;
2014-09-08
- 2014-09-12; in: "Lecture Notes in Computer Science",
Springer,
Volume 8656 of LNCS
(2014),
ISBN: 978-3-319-10427-0;
514
- 530.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-10428-7_38
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.