Differences between revisions 2 and 21 (spanning 19 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
Blocked N-queens	Download	Read	Download	Download
Graph colouring	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
Tower of hanoi	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
Travelling salesperson	Download	Read	Download	Download

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

-  ⇤ ← Revision 2 as of 2010-11-30 11:00:41 → 
  Size: 717
  Editor: FrancescoCalimeri
  Comment: first draft
+   ← Revision 21 as of 2010-12-20 12:27:51 → ⇥
  Size: 4004
  Editor: SusannaCozza
  Comment: Aggiunta entry per Graph colouring
-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:
-[[https://www.mat.unical.it/informatica|Corso di Laurea in Informatica]] - [[http://www.unical.it|Università della Calabria]]
 * Link al [[https://www.mat.unical.it/informatica/Sistemi_Intelligenti|SITO DEL CORSO]]
+Encodings strictly contained in ASP-Core


<<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]] ||
||Blocked N-queens ||[[attachment:BlockedNQueens.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/BlockedQueens.shtml|Read]] ||[[attachment:BlockedNQueens.input.txt|Download]] ||[[attachment:BlockedNQueens.output.txt|Download]] ||
||Graph colouring ||[[attachment:GraphColouring.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/GraphColouring.shtml|Read]] ||[[attachment:GraphColouring.input.txt|Download]] ||[[attachment:GraphColouring.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]] ||
||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]] ||
-Line 16:
+Line 28:
-Line 19:
+Line 32:
-[[http://www.mat.unical.it/didattica/clmat/CLMAT.html|Corso di Laurea in Matematica]] - [[http://www.unical.it|Università della Calabria]]
 * Link al [[http://www.mat.unical.it/calimeri/wiki/InformaticaCDLmatematica|SITO DEL CORSO]] ([[InformaticaCDLmatematica]])
+Encodings in ASP-RfC
-Line 22:
+Line 34:
-[[#TOC|Torna all'inizio della pagina]]
+<<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]] ||
||Travelling salesperson ||[[attachment:TravellingSalesperson.rfc.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/TravellingSalesPerson.shtml|Read]] ||[[attachment:TravellingSalesperson-input.txt|Download]] ||[[attachment:TravellingSalesperson-output.txt|Download]] ||
-Line 24:
+Line 40:
+[[#TOC|Back to top of page]]

----

ASP Competition 2011

Quick Links

Search Wiki

Page Tools

Encoding Examples

ASP Core

ASP RfC