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)

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

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