welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

Revision 8 as of 2010-12-01 11:11:11

location: EncodingsExamples

Encoding Examples

Contents

  1. Encoding Examples
    1. ASP Core
    2. ASP RfC

ASP Core

Encodings strictly contained in ASP-Core


Problem Name

Input Example

Output Example

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

Torna all'inizio della pagina

ASP RfC

Encodings in ASP-RfC


Problem Name

hamiltonian-path-input.txt

Company controls

encoding

Description from 2nd ASP competition website

Back to top of page