Differences between revisions 15 and 17 (spanning 2 versions)

Encoding Examples

Contents

ASP Core

Encodings strictly contained in ASP-Core

Encodings in ASP-RfC

Problem Name	Encoding	Description	Input Example	Output Example
Company controls	Download	Read	Download	Download

ASP Competition 2011: EncodingsExamples (last edited 2010-12-22 10:29:07 by SusannaCozza)

-  ⇤ ← Revision 15 as of 2010-12-01 14:26:14 → 
  Size: 2641
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 17 as of 2010-12-17 11:44:16 → ⇥
  Size: 2916
  Editor: SusannaCozza
  Comment: Aggiunta entry per 15Puzzle
-Deletions are marked like this.
+Additions are marked like this.
 Line 13:
+||15 Puzzle ||[[attachment:15Puzzle.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/15Puzzle.shtml|Read]] ||[[attachment:15Puzzle.input.txt|Download]] ||[[attachment:15Puzzle.output.txt|Download]] ||
-Line 31:
+Line 32:
-||'''Problem Name''' || || ||'''Input Example''' ||'''Output Example''' ||
+||'''Problem Name''' || '''Encoding''' || '''Description''' ||'''Input Example''' ||'''Output Example''' ||