|
Size: 1359
Comment:
|
Size: 1077
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 11: | Line 11: |
| Last update: Jan 18th , 2011. 12:18 CET. | |
| Line 14: | Line 14: |
| ||N|| NAME || AUTH ||Yes||No||Optimization||Beyond NP/Opt||-||[[https://www.mat.unical.it/aspcomp2011/FinalProblemDescriptions/Name|view]]||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/NameInstance|download]]||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/NameEncoding|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 |
4 |
Company Controls |
Mario Alviano |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |
||
5 |
Company Controls Optimize |
Mario Alviano |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
- |