Encoding Examples
Contents
ASP Core
Encodings strictly contained in ASP-Core
Problem Name |
|
|
Input Example |
Output Example |
Hamiltonian path |
||||
Maximal monochrome paths |
||||
Reachability |
||||
Schur numbers |
||||
Sokoban |
||||
Strategic companies |
||||
Sudoku |
ASP RfC
Encodings in ASP-RfC
Problem Name |
|
|
Input Example |
Output Example |
Company controls |