The QBFEVAL web portal

Authors:
Massimo Narizzano;Luca Pulina;Armando Tacchella
Affiliations:
Laboratory of Systems and Technologies for Automated Reasoning (STAR-Lab), DIST, Università di Genova, Genova, Italy;Laboratory of Systems and Technologies for Automated Reasoning (STAR-Lab), DIST, Università di Genova, Genova, Italy;Laboratory of Systems and Technologies for Automated Reasoning (STAR-Lab), DIST, Università di Genova, Genova, Italy
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 0
Cited 5

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers

Journal of Algorithms
A self-adaptive multi-engine solver for quantified Boolean formulas

Constraints
Automated reasoning in modal and description logics via SAT encoding: the case study of KmALC-satisfiability

Journal of Artificial Intelligence Research
Complexity of judgment aggregation: safety of the agenda

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Complexity of judgment aggregation

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

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.