|
Size: 1130
Comment:
|
Size: 1142
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 15: | Line 15: |
| ||5||Company Controls Optimize||Mario Alviano||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/CompanyControlsOptimize|view]]||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/NameInstance|download]]||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/NameEncoding|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/company_controls_optimize-trainInstances.zip|download]]||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/NameEncoding|download]]|| |
Official Problem Suite
# |
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 |
N |
NAME |
AUTH |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
|||
5 |
Company Controls Optimize |
Mario Alviano |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |