Differences between revisions 5 and 17 (spanning 12 versions)

Encoding Examples

Contents

Encoding Examples
1. ASP Core
2. ASP RfC

ASP Core

Encodings strictly contained in ASP-Core

Problem Name	Encoding	Description	Input Example	Output Example
15 Puzzle	Download	Read	Download	Download
Hamiltonian path	Download	Read	Download	Download
Maximal monochrome paths	Download	Read	Download	Download
Reachability	Download	Read	Download	Download
Schur numbers	Download	Read	Download	Download
Sokoban	Download	Read	Download	Download
Strategic companies	Download	Read	Download	Download
Sudoku	Download	Read	Download	Download

Torna all'inizio della pagina

ASP RfC

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 5 as of 2010-11-30 11:49:50 → 
  Size: 1794
  Editor: FrancescoCalimeri
  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 3:
-Line 6:
+Line 4:
-<<Anchor(TOC)>>
<<TableOfContents>>
+<<Anchor(TOC)>> <<TableOfContents>>
-Line 12:
+Line 8:
+Encodings strictly contained in ASP-Core
-Line 13:
+Line 10:
- * 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]]
 * Maximal monochrome paths [[attachment:maximal-monochrome-paths.core.asp.txt|encoding]] - [[attachment:maximal-monochrome-paths-description.txt|Description]]
 * Reachability [[attachment:reachability.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Description from 2nd ASP competition website]]
 * Schur numbers [[attachment:schur-numbers.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/SchurNumbers.shtml|Description from 2nd ASP competition website]]
 * Sokoban [[attachment:sokoban.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Description from 2nd ASP competition website]]
 * Strategic companies [[attachment:strategic-companies.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/StrategicCompanies.shtml|Description from 2nd ASP competition website]]
 * Sudoku [[attachment:sudoku.core.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Description from 2nd ASP competition website]]
+<<BR>>
||'''Problem Name''' || '''Encoding''' || '''Description''' ||'''Input Example<<BR>>''' ||'''Output Example<<BR>>''' ||
||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]] ||
||Hamiltonian path ||[[attachment:hamiltonian-path.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/HamiltonianPath.shtml|Read]] ||[[attachment:hamiltonian-path.input.txt|Download]] ||[[attachment:hamiltonian-path.output.txt|Download]] ||
||Maximal monochrome paths ||[[attachment:maximal-monochrome-paths.core.asp.txt|Download]] ||[[attachment:maximal-monochrome-paths-description.txt|Read]] ||[[attachment:maximal-monochrome-paths-input.txt|Download]] ||[[attachment:maximal-monochrome-paths-output.txt|Download]] ||
||Reachability ||[[attachment:reachability.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Read]] ||[[attachment:reachability-input.txt|Download]] ||[[attachment:reachability-output.txt|Download]] ||
||Schur numbers ||[[attachment:schur-numbers.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/SchurNumbers.shtml|Read]] ||[[attachment:schur-numbers-input.txt|Download]] ||[[attachment:schur-numbers-output.txt|Download]] ||
||Sokoban ||[[attachment:sokoban.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Read]] ||[[attachment:sokoban-input.txt|Download]] ||[[attachment:sokoban-output.txt|Download]] ||
||Strategic companies ||[[attachment:strategic-companies.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/StrategicCompanies.shtml|Read]] ||[[attachment:strategic-companies-input.txt|Download]] ||[[attachment:strategic-companies-output.txt|Download]] ||
||Sudoku ||[[attachment:sudoku.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Read]] ||[[attachment:sudoku-input.txt|Download]] ||[[attachment:sudoku-output.txt|Download]] ||
-Line 24:
+Line 25:
-Line 27:
+Line 29:
+Encodings in ASP-RfC
-Line 28:
+Line 31:
- * Company controls [[attachment:company-controls.rfc.asp.txt|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/CompanyControl.shtml|Description from 2nd ASP competition website]]
+<<BR>>
||'''Problem Name''' || '''Encoding''' || '''Description''' ||'''Input Example''' ||'''Output Example''' ||
||Company controls ||[[attachment:company-controls.rfc.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/CompanyControl.shtml|Read]] ||[[attachment:company-controls-input.txt|Download]] ||[[attachment:company-controls-output.txt|Download]] ||
-Line 33:
+Line 38:

ASP Competition 2011

Quick Links

Search Wiki

Page Tools

Encoding Examples

ASP Core

ASP RfC