|
Size: 2029
Comment: add some examples.
|
Size: 2061
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| * Company controls [[attachment:company-controls.rfc.asp|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|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|encoding]] - [[attachment:maximal-monochrome-paths-description.txt|Description]] * Reachability [[attachment:reachability.core.asp|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|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/SchurNumbers.shtml|Description from 2nd ASP competition website]] * Sokoban [[attachment:sokoban.core.asp|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|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/StrategicCompanies.shtml|Description from 2nd ASP competition website]] * Sudoku [[attachment:sudoku.core.asp|encoding]] - [[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Description from 2nd ASP competition website]] |
* 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]] |
Encoding Examples
Contents
ASP Core
Company controls encoding - Description from 2nd ASP competition website
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
ASP RfC
Corso di Laurea in Matematica - Università della Calabria
Link al SITO DEL CORSO (InformaticaCDLmatematica)