#format wiki
#language en
= Encoding Examples =
<<Anchor(TOC)>> <<TableOfContents>>

----
== ASP Core ==
Encodings strictly contained in ASP-Core

<<BR>>
||'''Problem Name''' || || ||'''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|Download]] ||[[attachment:hamiltonian-path.input.txt|input instance]] ||[[attachment:hamiltonian-path.output.txt|Download]] ||
||Maximal monochrome paths ||[[attachment:maximal-monochrome-paths.core.asp.txt|Download]] ||[[attachment:maximal-monochrome-paths-description.txt|Description]] ||[[attachment:maximal-monochrome-paths-input.txt|input instance]] ||[[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|Download]] ||[[attachment:reachability-input.txt|input instance]] ||[[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|Download]] ||[[attachment:schur-numbers-input.txt|input instance]] ||[[attachment:schur-numbers-output.txt|Download]] ||
||Sokoban ||[[attachment:sokoban.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Download]] ||[[attachment:sokoban-input.txt|input instance]] ||[[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|Download]] ||[[attachment:strategic-companies-input.txt|input instance]] ||[[attachment:strategic-companies-output.txt|Download]] ||
||Sudoku ||[[attachment:sudoku.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Download]] ||[[attachment:sudoku-input.txt|input instance]] ||[[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|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/CompanyControl.shtml|Description from 2nd ASP competition website]] ||[[attachment:company-controls-input.txt|input instance]] ||[[attachment:company-controls-output.txt|output instance]] ||




----
[[#TOC|Back to top of page]]

----