= Official Problem Suite =
<
>
<
>
{{{#!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'''||
||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]]||
||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]]||-||
||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]]||-||