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 |
|
|
Company controls |