Encoding Examples
Contents
ASP Core
Hamiltonian path encoding - Description from 2nd ASP competition website
Maximal monochrome paths encoding - Description
Reachability encoding - Description from 2nd ASP competition website
Schur numbers encoding - Description from 2nd ASP competition website
Sokoban encoding - Description from 2nd ASP competition website
Strategic companies encoding - Description from 2nd ASP competition website
Sudoku encoding - Description from 2nd ASP competition website
ASP RfC
Company controls encoding - Description from 2nd ASP competition website