|
Size: 717
Comment: first draft
|
Size: 2641
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| = Encoding Examples = <<Anchor(TOC)>> <<TableOfContents>> ---- == ASP Core == Encodings strictly contained in ASP-Core |
|
| Line 5: | Line 11: |
| = Encoding Examples = <<Anchor(TOC)>> <<TableOfContents>> |
<<BR>> ||'''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]] || [[#TOC|Torna all'inizio della pagina]] ---- == ASP RfC == Encodings in ASP-RfC <<BR>> ||'''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 11: | Line 36: |
| == ASP Core == [[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]] |
[[#TOC|Back to top of page]] |
| Line 15: | Line 38: |
| [[#TOC|Torna all'inizio della pagina]] | |
| Line 17: | Line 39: |
== ASP RfC == [[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]]) [[#TOC|Torna all'inizio della pagina]] ---- |
Encoding Examples
Contents
ASP Core
Encodings strictly contained in ASP-Core
Problem Name |
Encoding |
Description |
Input Example |
Output Example |
Hamiltonian path |
||||
Maximal monochrome paths |
||||
Reachability |
||||
Schur numbers |
||||
Sokoban |
||||
Strategic companies |
||||
Sudoku |
ASP RfC
Encodings in ASP-RfC