Differences between revisions 3 and 6 (spanning 3 versions)

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	-	view	download	download

ASP Competition 2011: OfficialProblemSuite (last edited 2011-07-07 15:23:39 by GiovambattistaIanni)

-  ⇤ ← Revision 3 as of 2011-01-17 15:03:13 → 
  Size: 615
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 6 as of 2011-01-17 17:40:56 → ⇥
  Size: 763
  Editor: GiovambattistaIanni
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
+<<BR>>
<<BR>>

{{{#!wiki comment
   
    ATTENZIONE, mettere encoding solo per problemi che partecipano alla SYSTEM Competition.

}}}
-Line 4:
+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]]
+||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]]||

ASP Competition 2011