[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