1940
Comment:
|
2004
|
Deletions are marked like this. | Additions are marked like this. |
Line 16: | Line 16: |
|| '''Problem Name''' || || || | |
Line 35: | Line 35: |
|| '''Problem Name''' || || || |
Encoding Examples
Contents
ASP Core
Encodings strictly contained in ASP-Core
Problem Name |
|
|
Hamiltonian path |
||
Maximal monochrome paths |
||
Reachability |
||
Schur numbers |
||
Sokoban |
||
Strategic companies |
||
Sudoku |
ASP RfC
Encodings in ASP-RfC
Problem Name |
|
|
Company controls |