[Zurück]


Zeitschriftenartikel:
F. Lonsing, M. Seidl, A. Van Gelder:
"The QBF Gallery: Behind the Scenes";
Artificial Intelligence, 237 (2016), S. 92 - 114.

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.artint.2016.04.002

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.