|
Size: 4251
Comment:
|
Size: 4633
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 22: | Line 22: |
| ||18||Minimal Diagnosis||Martin Gebser||Yes||Yes||Search||Beyond NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/MinimalDiagnosis|view]]||[[http://www.mat.unical.it/aspcomp2011/files/MinimalDiagnosis/minimal_diagnosis-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/MinimalDiagnosis/minimal_diagnosis.enc.asp|download]]|| |
Official Problem Suite
Last update: Jan 18th , 2011. 12:18 CET.
# |
Problem Name |
Author(s) |
Model & Solve Competition |
System Competition |
Type |
Class |
Language for System Competition |
Final Problem Description |
Training Instances |
ASP-Core/ASP-RfC encoding |
2 |
Reachability |
Giorgio Terracina |
Yes |
Yes |
Query |
P |
ASP-Core |
|||
3 |
Strategic Companies |
Mario Alviano, Marco Maratea and Francesco Ricca |
Yes |
Yes |
Search |
Beyond NP |
ASP-Core |
|||
4 |
Company Controls |
Mario Alviano |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
5 |
Company Controls Optimize |
Mario Alviano |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
6 |
Grammar-Based Information Extraction |
Marco Manna |
Yes |
Yes |
Search |
P |
ASP-Core |
|||
9 |
Fastfood Optimization |
Wolfgang Faber |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
15 |
Tomography (Graph set covering) |
Neng-Fa Zhou |
Yes |
No |
Optimization |
NP |
ASP-Core |
- |
||
17 |
Labyrinth |
Martin Gebser |
Yes |
Yes |
Search |
NP |
ASP-Core |
|||
18 |
Minimal Diagnosis |
Martin Gebser |
Yes |
Yes |
Search |
Beyond NP |
ASP-Core |
|||
20 |
Numberlink |
Naoyuki Tamura and Neng-Fa Zhou |
Yes |
Yes |
Search |
NP |
ASP-Core |
|||
33 |
Maze Generation |
Martin Brain and Mario Alviano |
Yes |
Yes |
Search |
NP |
ASP-Core |
|||
36 |
Tangram |
Andrea Formisano, Agostino Dovier and Enrico Pontelli |
Yes |
No |
Search |
NP |
- |
- |