|
Size: 3428
Comment: Aggiunta entry per Blocked N-Queens
|
Size: 4004
Comment: Aggiunta entry per Graph colouring
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 14: | Line 14: |
| ||Blocked N-Queens ||[[attachment:BlockedNQueens.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/BlockedQueens.shtml|Read]] ||[[attachment:BlockedNQueens.input.txt|Download]] ||[[attachment:BlockedNQueens.output.txt|Download]] || | ||Blocked N-queens ||[[attachment:BlockedNQueens.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/BlockedQueens.shtml|Read]] ||[[attachment:BlockedNQueens.input.txt|Download]] ||[[attachment:BlockedNQueens.output.txt|Download]] || ||Graph colouring ||[[attachment:GraphColouring.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/GraphColouring.shtml|Read]] ||[[attachment:GraphColouring.input.txt|Download]] ||[[attachment:GraphColouring.output.txt|Download]] || |
| Line 22: | Line 23: |
| ||Tower of Hanoi ||[[attachment:hanoi.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/TowerHanoi.shtml|Read]] ||[[attachment:hanoi.input.txt|Download]] ||[[attachment:hanoi.output.txt|Download]] || | ||Tower of hanoi ||[[attachment:hanoi.core.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/TowerHanoi.shtml|Read]] ||[[attachment:hanoi.input.txt|Download]] ||[[attachment:hanoi.output.txt|Download]] || |
| Line 36: | Line 37: |
| ||Travelling salesperson ||[[attachment:TravellingSalesperson.rfc.asp.txt|Download]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/TravellingSalesPerson.shtml|Read]] ||[[attachment:TravellingSalesperson-input.txt|Download]] ||[[attachment:TravellingSalesperson-output.txt|Download]] || |
Encoding Examples
Contents
ASP Core
Encodings strictly contained in ASP-Core
Problem Name |
Encoding |
Description |
Input Example |
Output Example |
15 Puzzle |
||||
Blocked N-queens |
||||
Graph colouring |
||||
Hamiltonian path |
||||
Maximal monochrome paths |
||||
Reachability |
||||
Schur numbers |
||||
Sokoban |
||||
Strategic companies |
||||
Sudoku |
||||
Tower of hanoi |
ASP RfC
Encodings in ASP-RfC
Problem Name |
Encoding |
Description |
Input Example |
Output Example |
Company controls |
||||
Travelling salesperson |