Differences between revisions 7 and 15 (spanning 8 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
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			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 7 as of 2010-11-30 15:36:37 → 
  Size: 2004
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 15 as of 2010-12-01 14:26:14 → ⇥
  Size: 2641
  Editor: GiovambattistaIanni
  Comment:
-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:
-Encodings strictly contained in ASP-Core
-Line 16:
+Line 12:
-|| '''Problem Name''' ||  ||  ||
|| 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]] ||
+||'''Problem Name''' || '''Encoding''' || '''Description''' ||'''Input Example<<BR>>''' ||'''Output Example<<BR>>''' ||
||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 28:
+Line 24:
-Line 31:
+Line 28:
 Encodings in ASP-RfC
-Line 35:
+Line 31:
-|| '''Problem Name''' ||  ||  ||
|| 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]] ||
+||'''Problem Name''' || || ||'''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 41:
+Line 37:

ASP Competition 2011

Quick Links

Search Wiki

Page Tools

Encoding Examples

ASP Core

ASP RfC