Differences between revisions 8 and 9

Encoding Examples

Contents

ASP Core

Encodings strictly contained in ASP-Core

Problem Name			Input Example	Output Example
Hamiltonian path	encoding	Description from 2nd ASP competition website	input instance
Maximal monochrome paths	encoding	Description
Reachability	encoding	Description from 2nd ASP competition website
Schur numbers	encoding	Description from 2nd ASP competition website
Sokoban	encoding	Description from 2nd ASP competition website
Strategic companies	encoding	Description from 2nd ASP competition website
Sudoku	encoding	Description from 2nd ASP competition website

Encodings in ASP-RfC

Problem Name		hamiltonian-path-input.txt
Company controls	encoding	Description from 2nd ASP competition website

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

-  ⇤ ← Revision 8 as of 2010-12-01 11:11:11 → 
  Size: 2110
  Editor: KristianReale
  Comment:
+   ← Revision 9 as of 2010-12-01 11:14:08 → ⇥
  Size: 2166
  Editor: KristianReale
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 12:
-||Hamiltonian path ||[[attachment:hamiltonian-path.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/HamiltonianPath.shtml|Description from 2nd ASP competition website]] || || ||
+||Hamiltonian path ||[[attachment:hamiltonian-path.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/HamiltonianPath.shtml|Description from 2nd ASP competition website]] ||[[attachment:hamiltonian-path.input.txt|input instance]]|| ||
 Line 31:
-||'''Problem Name''' || ||[[attachment:hamiltonian-path-input.txt]]||
+||'''Problem Name''' || ||[[attachment:hamiltonian-path-input.txt]] ||