|
Size: 2061
Comment:
|
Size: 1940
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| * 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]] * 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]] |
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]] || |
| Line 28: | Line 31: |
| [[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 31: | Line 32: |
| [[#TOC|Torna all'inizio della pagina]] | 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]] || |
| Line 33: | Line 40: |
| [[#TOC|Back to top of page]] ---- |
Encoding Examples
Contents
ASP Core
Encodings strictly contained in ASP-Core
Hamiltonian path |
||
Maximal monochrome paths |
||
Reachability |
||
Schur numbers |
||
Sokoban |
||
Strategic companies |
||
Sudoku |
ASP RfC
Encodings in ASP-RfC
Company controls |