2009 (v1)
Publication
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...
Uploaded on: March 31, 2023