Suite Faber-Leone-Maratea-Ricca

Download(68630 Kb)
Submitter: Marco Maratea
Description: QBF version of the ASP benchmarks for the Strategic Companies problem. Details are available in Faber, W., Leone, N., Maratea, M. and Ricca, F., 2007, September. Looking back in dlv: Experiments and comparison to qbf solvers. In Proceedings of the 4th International Workshop on Answer Set Programming (ASP 2007).
Number of families: 1