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 |
||||
Maze generation |
||||
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 |
||||
Weight-bounded dominating set |