Evaluating and certifying QBFs: A comparison of state-of-the-art tools
Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella · AI Communications · 2009
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 certificat