Encoding Examples

Contents

ASP Core

Encodings strictly contained in 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

Encodings in ASP-RfC

Company controls