|
Size: 2641
Comment:
|
Size: 2674
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 31: | Line 31: |
| ||'''Problem Name''' || || ||'''Input Example''' ||'''Output Example''' || | ||'''Problem Name''' || '''Encoding''' || '''Description''' ||'''Input Example''' ||'''Output Example''' || |
Encoding Examples
Contents
ASP Core
Encodings strictly contained in ASP-Core
Problem Name |
Encoding |
Description |
Input Example |
Output Example |
Hamiltonian path |
||||
Maximal monochrome paths |
||||
Reachability |
||||
Schur numbers |
||||
Sokoban |
||||
Strategic companies |
||||
Sudoku |
ASP RfC
Encodings in ASP-RfC
Problem Name |
Encoding |
Description |
Input Example |
Output Example |
Company controls |