= Official Problem Suite =

<<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]]||-||
||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]]||-||