Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Quantifier expansion"'
Autor:
Chew, Leroy, Clymo, Judith
Publikováno v:
Automated Reasoning
In this paper we show that the QBF proof checking format QRAT (Quantified Resolution Asymmetric Tautologies) by Heule, Biere and Seidl cannot have polynomial time strategy extraction unless P=PSPACE. In our proof, the crucial property that makes stra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::6a256b500dbf875d58d4c339dfdff586
http://europepmc.org/articles/PMC7324150
http://europepmc.org/articles/PMC7324150
