The QBFEVAL web portal

Narizzano, Massimo and Pulina, Luca and Tacchella, Armando (2006) The QBFEVAL web portal. In: JELIA'06: 10. European Conference on Logics in Artificial Intelligence: proceedings, 13-15 September 2006, Liverpool, United Kingdom. Berlin - Heidelberg, Springer. p. 494-497. (Lecture Notes in Computer Science, 4160/2006). ISBN 978-3-540-39625-3. Conference or Workshop Item.

Full text not available from this repository.

DOI: 10.1007/11853886_45

Abstract

The QBFEVAL web portal is an on-line resource supporting the participants and the organizers of the yearly evaluation of QBF solvers and instances. In this paper we describe the main features of the current release of QBFEVAL.

Item Type:	Conference or Workshop Item (Contribute)
ID Code:	7806
Status:	Published
Uncontrolled Keywords:	Quantified Boolean Formulas (QBFs), empirical evaluation
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:	Springer
ISBN:	978-3-540-39625-3
Deposited On:	24 Jul 2012 08:58

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

Repository Staff Only: item control page