titoli, abstracts, parole chiave >>>
A Multi-engine solver for quantified boolean formulas

Pulina, Luca and Tacchella, Armando (2007) A Multi-engine solver for quantified boolean formulas. In: CP'07: 13th International Conference on Principles and practice of constraint programming: proceedings, 23-27 September 2007, Providence (RI), USA. Berlin / Heidelberg, Springer. p. 574-589. (Lecture Notes in Computer Science, ). ISSN 0302-9743. ISBN 978-3-540-74969-1. Conference or Workshop Item.

Full text not available from this repository.

Alternative URLs:


In this paper we study the problem of yielding robust performances from current state-of-the-art solvers for quantified Boolean formulas (QBFs). Analyzing the results of the 2006 QBF solvers competition (QBFEVAL’06), we find out that a set of inexpensive syntactic features is sufficient to determine the best solver to run on each formula with reasonable accuracy. Building on top of existing QBF solvers, we implement a new multi-engine solver which can learn its solver selection strategy from available datasets of solvers competitions such as QBFEVAL’06. Experimental results confirm that our solver is always more robust than each single engine, and that it is stable with respect to various perturbations of the dataset used for learning. As further experiments show, these results are in great part explained by a handful of features playing a crucial role in our solver.

Item Type:Conference or Workshop Item (Contribute)
ID Code:7739
Uncontrolled Keywords:Quantified Boolean formulas (QBFs), algorithm selection
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à
Deposited On:04 Jul 2012 15:36

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

Repository Staff Only: item control page