Differences between revisions 2 and 3

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 2 as of 2011-01-17 14:56:38 → 
  Size: 494
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 3 as of 2011-01-17 15:03:13 → ⇥
  Size: 615
  Editor: GiovambattistaIanni
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 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/FinalProblemDescriptions/Name|view]]||[[https://www.mat.unical.it/aspcomp2011/FinalProblemsDescription/NameInstance|download]]||
+||'''#'''||'''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]]

ASP Competition 2011