welcome: please sign in
location: Diff for "EncodingsExamples"
Differences between revisions 12 and 13
⇤ ← Revision 12 as of 2010-12-01 13:01:15 →
Size: 3003
Editor: KristianReale
Comment:
← Revision 13 as of 2010-12-01 14:17:21 → ⇥
Size: 2736
Editor: GiovambattistaIanni
Comment:
Deletions are marked like this. Additions are marked like this.
Line 12: Line 12:
||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]] ||[[attachment:hamiltonian-path.input.txt|input instance]] ||[[attachment:hamiltonian-path.output.txt|output instance]] ||
||Maximal monochrome paths ||[[attachment:maximal-monochrome-paths.core.asp.txt|encoding]] ||[[attachment:maximal-monochrome-paths-description.txt|Description]] ||[[attachment:maximal-monochrome-paths-input.txt|input instance]] ||[[attachment:maximal-monochrome-paths-output.txt|output instance]] ||
||Reachability ||[[attachment:reachability.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Description from 2nd ASP competition website]] ||[[attachment:reachability-input.txt|input instance]] ||[[attachment:reachability-output.txt|output instance]] ||
||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]] ||[[attachment:schur-numbers-input.txt|input instance]] ||[[attachment:schur-numbers-output.txt|output instance]] ||
||Sokoban ||[[attachment:sokoban.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Description from 2nd ASP competition website]] ||[[attachment:sokoban-input.txt|input instance]] ||[[attachment:sokoban-output.txt|output instance]] ||
||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]] ||[[attachment:strategic-companies-input.txt|input instance]] ||[[attachment:strategic-companies-output.txt|output instance]] ||
||Sudoku ||[[attachment:sudoku.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Description from 2nd ASP competition website]] ||[[attachment:sudoku-input.txt|input instance]] ||[[attachment:sudoku-output.txt|output instance]] ||
 ||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]] ||

Encoding Examples

Contents

  1. Encoding Examples
    1. ASP Core
    2. ASP RfC

ASP Core

Encodings strictly contained in ASP-Core


Problem Name

Input Example

Output Example

Hamiltonian path

Download

Download

input instance

Download

Maximal monochrome paths

Download

Description

input instance

Download

Reachability

Download

Download

input instance

Download

Schur numbers

Download

Download

input instance

Download

Sokoban

Download

Download

input instance

Download

Strategic companies

Download

Download

input instance

Download

Sudoku

Download

Download

input instance

Download

Torna all'inizio della pagina

ASP RfC

Encodings in ASP-RfC


Problem Name

Input Example

Output Example

Company controls

encoding

Description from 2nd ASP competition website

input instance

output instance

Back to top of page

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