JELIA 2006
The QBFEVAL Web Portal
Abstract
Abstract In this paper we describe the QBFEVAL web portal, an on-line resource supporting the participants and the organizers of the yearly evaluation of QBF solvers and instances.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- European Conference on Logics in Artificial Intelligence
- Archive span
- 2000-2023
- Indexed papers
- 542
- Paper id
- 70581639444785107