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:

http://jsat.ewi.tudelft.nl/content/volum...

Abstract

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
Status:	Published
Refereed:	Yes
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
eISSN:	1574-0617
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