[Zurück]


Zeitschriftenartikel:

M. Heule, M. Järvisalo, F. Lonsing, M. Seidl, A. Biere:
"Clause Elimination for SAT and QSAT";
Journal of Artificial Intelligence Research, 53 (2015), S. 127 - 168.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1613/jair.4694



Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.