Narizzano, Massimo and Peschiera, Claudia and Pulina, Luca and Tacchella, Armando (2009) Evaluating and certifying QBFs: a comparison of state-of-the-art tools. AI Communications, Vol. 22 (4), p. 191-210. eISSN 1875-8452. Article.
Full text not available from this repository.
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 encodings can be evaluated producing certificates that can be checked in a reliable and efficient way. We conclude 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.
I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore
Repository Staff Only: item control page