titoli, abstracts, parole chiave >>>
AQME'10 system description

Pulina, Luca and Tacchella, Armando (2010) AQME'10 system description. Journal on Satisfiability, Boolean Modeling and Computation, Vol. 7 , p. 65-70. eISSN 1574-0617. Article.

Full text not available from this repository.

Alternative URLs:


In this paper we describe AQME’10, the version of the Adaptive QBF Multi-Engine submitted to QBFEVAL’10.

Item Type:Article
ID Code:7111
Uncontrolled Keywords:Self-adaptive multi-engine solver, quantified Boolean formulas, AQME
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
Copyright Holders:© 2010 Delft University of Technology and the authors
Deposited On:14 Feb 2012 12:18

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

Repository Staff Only: item control page