welcome: please sign in
location: Diff for "EncodingsExamples"
Differences between revisions 1 and 6 (spanning 5 versions)
⇤ ← Revision 1 as of 2010-11-30 09:35:18 →
Size: 49
Editor: GiovambattistaIanni
Comment:
← Revision 6 as of 2010-11-30 12:05:37 → ⇥
Size: 1940
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
Inserire una descrizione per EncodingsExamples. #format wiki
#language en


= Encoding Examples =
<<Anchor(TOC)>>
<<TableOfContents>>


----
== ASP Core ==

Encodings strictly contained in ASP-Core

<<BR>>

|| 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]] ||



[[#TOC|Torna all'inizio della pagina]]
----

== ASP RfC ==

Encodings in ASP-RfC

<<BR>>

|| 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]] ||


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

Encoding Examples

Contents

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

ASP Core

Encodings strictly contained in ASP-Core


Hamiltonian path

encoding

Description from 2nd ASP competition website

Maximal monochrome paths

encoding

Description

Reachability

encoding

Description from 2nd ASP competition website

Schur numbers

encoding

Description from 2nd ASP competition website

Sokoban

encoding

Description from 2nd ASP competition website

Strategic companies

encoding

Description from 2nd ASP competition website

Sudoku

encoding

Description from 2nd ASP competition website

Torna all'inizio della pagina

ASP RfC

Encodings in ASP-RfC


Company controls

encoding

Description from 2nd ASP competition website

Back to top of page

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