Differences between revisions 16 and 18 (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 16 as of 2010-12-01 14:27:26 → 
  Size: 2674
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 18 as of 2010-12-17 13:29:52 → ⇥
  Size: 3156
  Editor: SusannaCozza
  Comment: Aggiunta entry per Tower of Hanoi
-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 20:
+Line 21:
+||Tower of Hanoi ||[[attachment:hanoi.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/TowerHanoi.shtml|Read]] ||[[attachment:hanoi.input.txt|Download]] ||[[attachment:hanoi.output.txt|Download]] ||