In this paper we compare the performance of all the currently available suites to evaluate and certify QBFs. Our aim is to assess the current state of the art, and also to understand to which extent QBF en- codings can be evaluated producing certificates that can be checked in a reliable and efficient way. We con- clude that, while the evaluation of some QBFs is still an open challenge, producing and checking certificates for many medium-to-large scale QBFs is feasible with the current technology.
Evaluating and certifying QBFs: A comparison of state-of-the-art tools
NARIZZANO, MASSIMO;TACCHELLA, ARMANDO
2009-01-01
Abstract
In this paper we compare the performance of all the currently available suites to evaluate and certify QBFs. Our aim is to assess the current state of the art, and also to understand to which extent QBF en- codings can be evaluated producing certificates that can be checked in a reliable and efficient way. We con- clude that, while the evaluation of some QBFs is still an open challenge, producing and checking certificates for many medium-to-large scale QBFs is feasible with the current technology.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
