|
Size: 494
Comment:
|
Size: 1533
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. }}} ||'''#'''||'''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||-||[[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]]|| ||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]]||[[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/CompanyControlOptimize/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 |
- |
|||
4 |
Company Controls |
Mario Alviano |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |
|||
5 |
Company Controls Optimize |
Mario Alviano |
Yes |
No |
Optimization |
Beyond NP/Opt |
- |