welcome: please sign in

No pages like "EncodingsExamples"!

Clear message
location: EncodingsExamples

Encoding Examples


ASP Core

Encodings strictly contained in ASP-Core


Problem Name

Encoding

Description

Input Example

Output Example

15 Puzzle

Download

Read

Download

Download

Blocked N-queens

Download

Read

Download

Download

Graph colouring

Download

Read

Download

Download

Hamiltonian path

Download

Read

Download

Download

Maximal monochrome paths

Download

Read

Download

Download

Maze generation

Download

Read

Download

Download

Reachability

Download

Read

Download

Download

Schur numbers

Download

Read

Download

Download

Sokoban

Download

Read

Download

Download

Strategic companies

Download

Read

Download

Download

Sudoku

Download

Read

Download

Download

Tower of hanoi

Download

Read

Download

Download

Torna all'inizio della pagina


ASP RfC

Encodings in ASP-RfC


Problem Name

Encoding

Description

Input Example

Output Example

Company controls

Download

Read

Download

Download

Travelling salesperson

Download

Read

Download

Download

Weight-bounded dominating set

Download

Read

Download

Download


Back to top of page