[Back]


Books and Book Editorships:

F. Lonsing, M. Seidl (ed.):
"Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)";
CEUR-WS.org, 2016, ISSN: 1613-0073; 70 pages.



Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas


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