Talks and Poster Presentations (with Proceedings-Entry):
F. Lonsing, U. Egly:
"Incremental QBF Solving by DepQBF";
Talk: International Congress on Mathematical Software,
Seoul, South Korea;
2014-08-05
- 2014-08-09; in: "Mathematical Software - ICMS 2014",
Springer,
Volume 8592 of LNCS
(2014),
ISBN: 978-3-662-44198-5;
307
- 314.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-662-44199-2_48
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.