View in EDS PDF Full Text

Classes of Hard Formulas for QBF Resolution.

Saved in:
Bibliographic Details
Title: Classes of Hard Formulas for QBF Resolution.
Authors: Schleitzer, Agnes1 AGNES.SCHLEITZER@UNI-JENA.DE, Beyersdorf, Olaf1 OLAF.BEYERSDORFF@UNI-JENA.DE
Source: Journal of Artificial Intelligence Research. 2023, Vol. 77, p1455-1487. 33p.
Database: Mathematics Source
Description
ISSN:10769757
DOI:10.1613/jair.1.14710