|
Size: 494
Comment:
|
Size: 7635
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| ||'''#'''||'''Problem Name'''||'''Author(s)'''||'''Model & Solve Competition'''||'''System Competition'''||'''Type'''||'''Class'''||'''Language for System Competition'''||'''Final Problem Description'''||'''Training Instances'''|| ||N|| NAME || AUTH ||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/Name|view]]||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/NameInstance|download]]|| |
<<BR>> <<BR>> {{{#!wiki comment ATTENZIONE, mettere encoding solo per problemi che partecipano alla SYSTEM Competition. }}} 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'''|| ||1||Crossing minimization in layered graphs||Peter Stuckey and Graeme Gange||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/CrossingMinimization|view]]||[[http://www.mat.unical.it/aspcomp2011/files/CrossingMinimization/crossing_minimization-trainInstances.zip|download]]||-|| ||2||Reachability||Giorgio Terracina||Yes||Yes||Query||P||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Reachability|view]]||[[http://www.mat.unical.it/aspcomp2011/files/Reachability/reachability-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/Reachability/reachability.enc.asp|download]]|| ||3||Strategic Companies||Mario Alviano, Marco Maratea and Francesco Ricca||Yes||Yes||Search||Beyond NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/StrategicCompanies|view]]||[[http://www.mat.unical.it/aspcomp2011/files/StrategicCompanies/strategic_companies-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/StrategicCompanies/strategic_companies.enc.asp|download]]|| ||4||Company Controls||Mario Alviano||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/CompanyControls|view]]||[[http://www.mat.unical.it/aspcomp2011/files/CompanyControl/company_controls-trainInstances.zip|download]]||-|| ||5||Company Controls Optimize||Mario Alviano||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/CompanyControlsOptimize|view]]||[[http://www.mat.unical.it/aspcomp2011/files/CompanyControlOptimize/company_controls_optimize-trainInstances.zip|download]]||-|| ||6||Grammar-Based Information Extraction||Marco Manna||Yes||Yes||Search||P||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Grammar-BasedInformationExtraction|view]]||[[http://www.mat.unical.it/aspcomp2011/files/Grammar-BasedInformationExtraction/grammar_based_information_extraction-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/Grammar-BasedInformationExtraction/grammar_based_information_extraction.enc.asp|download]]|| ||7||Generalized Slitherlink||Wolfgang Faber||Yes||No||Search||NP||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/GeneralizedSlitherlink|view]]||[[http://www.mat.unical.it/aspcomp2011/files/GeneralizedSlitherlink/generalized_slitherlink-trainInstances.zip|download]]||-|| ||9||Fastfood Optimization||Wolfgang Faber||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/FastfoodOptimization|view]]||[[http://www.mat.unical.it/aspcomp2011/files/FastfoodOptimization/fastfoodoptimization-trainInstances.zip|download]]||-|| ||10||Sokoban Decision||Wolfgang Faber||Yes||Yes||Search||NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/SokobanDecision|view]]||[[http://www.mat.unical.it/aspcomp2011/files/SokobanDecision/sokoban_decision-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/SokobanDecision/sokoban_decision.enc.asp|download]]|| ||11||Sokoban Optimization||Wolfgang Faber||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/SokobanOptimization|view]]||[[http://www.mat.unical.it/aspcomp2011/files/SokobanOptimization/sokoban_optimization-trainInstances.zip|download]]||-|| ||15||Tomography (Graph set covering)||Neng-Fa Zhou||Yes||No||Optimization||NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Tomography|view]]||[[http://www.mat.unical.it/aspcomp2011/files/Tomography/tomography-trainInstances.zip|download]]||-|| ||16||Maximal Clique||Johan Wittocx||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/MaximalClique|view]]||[[http://www.mat.unical.it/aspcomp2011/files/MaximalClique/maximal_clique-trainInstances.zip|download]]||-|| ||17||Labyrinth||Martin Gebser||Yes||Yes||Search||NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Labyrinth|view]]||[[http://www.mat.unical.it/aspcomp2011/files/Labyrinth/labyrinth-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/Labyrinth/labyrinth.enc.asp|download]]|| ||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]]|| ||20||Numberlink||Naoyuki Tamura and Neng-Fa Zhou||Yes||Yes||Search||NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Numberlink|view]]||[[http://www.mat.unical.it/aspcomp2011/files/Numberlink/numberlink-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/Numberlink/numberlink.enc.asp|download]]|| ||21||Reverse Folding||Andrea Formisano, Agostino Dovier and Enrico Pontelli||Yes||No||Search||NP||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/ReverseFolding|view]]||[[http://www.mat.unical.it/aspcomp2011/files/ReverseFolding/reverse_folding-trainInstances.zip|download]]||-|| ||23||Magic Square Sets||Yisong Wang and Jia-Huai You||Yes||No||Search||NP||ASP-RfC ||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/MagicSquareSets|view]]||[[http://www.mat.unical.it/aspcomp2011/files/MagicSquareSets/magic_square_sets-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/MagicSquareSets/magic_square.enc.asp|download]]|| ||25||Graph Colouring||Yuliya Lierler and Marcello Balduccini||Yes||Yes||Search||NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/GraphColouring|view]]||[[http://www.mat.unical.it/aspcomp2011/files/GraphColouring/graph_colouring-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/GraphColouring/graph_colouring.enc.asp|download]]|| ||26||Solitaire||Yuliya Lierler and Marcello Balduccini||Yes||Yes||Search||NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Solitaire|view]]||[[http://www.mat.unical.it/aspcomp2011/files/Solitaire/solitaire-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/Solitaire/solitaire.enc.asp|download]]|| ||33||Maze Generation||Martin Brain and Mario Alviano||Yes||Yes||Search||NP||ASP-Core||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/MazeGeneration|view]]||[[http://www.mat.unical.it/aspcomp2011/files/MazeGeneration/maze_generation-trainInstances.zip|download]]||[[http://www.mat.unical.it/aspcomp2011/files/MazeGeneration/maze_generation.enc.asp|download]]|| ||36||Tangram||Andrea Formisano, Agostino Dovier and Enrico Pontelli||Yes||No||Search||NP||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Tangram|view]]||[[http://www.mat.unical.it/aspcomp2011/files/Tangram/tangram-trainInstances.zip|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 |
1 |
Crossing minimization in layered graphs |
Peter Stuckey and Graeme Gange |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
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 |
|||
7 |
Generalized Slitherlink |
Wolfgang Faber |
Yes |
No |
Search |
NP |
- |
- |
||
9 |
Fastfood Optimization |
Wolfgang Faber |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
10 |
Sokoban Decision |
Wolfgang Faber |
Yes |
Yes |
Search |
NP |
ASP-Core |
|||
11 |
Sokoban Optimization |
Wolfgang Faber |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
15 |
Tomography (Graph set covering) |
Neng-Fa Zhou |
Yes |
No |
Optimization |
NP |
ASP-Core |
- |
||
16 |
Maximal Clique |
Johan Wittocx |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
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 |
|||
21 |
Reverse Folding |
Andrea Formisano, Agostino Dovier and Enrico Pontelli |
Yes |
No |
Search |
NP |
- |
- |
||
23 |
Magic Square Sets |
Yisong Wang and Jia-Huai You |
Yes |
No |
Search |
NP |
ASP-RfC |
|||
25 |
Graph Colouring |
Yuliya Lierler and Marcello Balduccini |
Yes |
Yes |
Search |
NP |
ASP-Core |
|||
26 |
Solitaire |
Yuliya Lierler and Marcello Balduccini |
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 |
- |
- |