titoli, abstracts, parole chiave >>>
Evaluating and certifying QBFs: a comparison of state-of-the-art tools

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.

Alternative URLs:


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.

Item Type:Article
ID Code:7113
Uncontrolled Keywords:Automated reasoning, decision procedures, quantified boolean formulas
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Publisher:IOS Press
Deposited On:14 Feb 2012 12:54

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page