Differences between revisions 16 and 17

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 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]] ||