Publications in Scientific Journals:
F. Lonsing, M. Seidl, A. Van Gelder:
"The QBF Gallery: Behind the Scenes";
Artificial Intelligence,
237
(2016),
92
- 114.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.artint.2016.04.002
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.