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