welcome: please sign in
location: Diff for "EncodingsExamples"
Differences between revisions 2 and 5 (spanning 3 versions)
⇤ ← Revision 2 as of 2010-11-30 11:00:41 →
Size: 717
Editor: FrancescoCalimeri
Comment: first draft
← Revision 5 as of 2010-11-30 11:49:50 → ⇥
Size: 1794
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 12: Line 12:
[[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]]
 * 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]]
Line 19: Line 27:
[[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]])
Line 22: Line 28:
[[#TOC|Torna all'inizio della pagina]]  * 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]]
Line 24: Line 32:
[[#TOC|Back to top of page]]
----

Encoding Examples

Contents

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

ASP Core

Torna all'inizio della pagina

ASP RfC

Back to top of page

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