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 | ||
Families: | |||
Results: | |||