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 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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.3233/AIC-2009-0468 | AI Commun. |
Keywords | Field | DocType |
certifying qbfs,extent qbf encodings,open challenge,state-of-the-art tool,medium-to-large scale qbfs,available suite,current technology,current state | Automated reasoning,Computer science,Artificial intelligence,Machine learning | Journal |
Volume | Issue | ISSN |
22 | 4 | 0921-7126 |
Citations | PageRank | References |
18 | 0.86 | 27 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Massimo Narizzano | 1 | 451 | 30.41 |
Claudia Peschiera | 2 | 41 | 2.25 |
Luca Pulina | 3 | 326 | 37.95 |
Armando Tacchella | 4 | 1448 | 108.82 |