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)

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

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