Official Problem Suite

<<TableOfContents: execution failed [list index out of range] (see also the log)>>

Legenda

Columns in the table below are to be read as following:

Full Problem List


#

Problem Name

Author(s)

Present at the 2nd ASP Competition (2009)

Model & Solve Competition

System Competition

Type

Class

Language for System Competition

Final Problem Description

Training Instances

ASP-Core/ASP-RfC encoding

Full Package

1

Crossing minimization in layered graphs

Peter Stuckey and Graeme Gange

No

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

download

2

Reachability

Giorgio Terracina

Yes*

Yes

Yes

Query

P

ASP-Core

view

download

download

download

3

Strategic Companies

Mario Alviano, Marco Maratea and Francesco Ricca

Yes*

Yes

Yes

Search

Beyond NP

ASP-Core

view

download

download

download

4

Company Controls

Mario Alviano

Yes*

Yes

No

Search

P

-

view

download

-

download

5

Company Controls Optimize

Mario Alviano

Yes

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

download

6

Grammar-Based Information Extraction

Marco Manna

Yes

Yes

Yes

Search

P

ASP-Core

view

download

download

download

7

Generalized Slitherlink

Wolfgang Faber

Yes

Yes

No

Search

NP

-

view

download

-

download

8

Fastfood Optimality Check

Wolfgang Faber

Yes

Yes

No

Search

NP

ASP-RfC

view

download

download

download

9

Fastfood Optimization

Wolfgang Faber

Yes

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

download

10

Sokoban Decision

Wolfgang Faber

Yes

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

11

Sokoban Optimization

Wolfgang Faber

Yes

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

download

12

Knight Tour

Neng-Fa Zhou, Francesco Calimeri and Maria Carmela Santoro

Yes

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

13

Disjunctive Scheduling

Neng-Fa Zhou, Francesco Calimeri and Maria Carmela Santoro

Yes

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

14

Packing Problem

Neng-Fa Zhou

No

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

15

Tomography (Graph set covering)

Neng-Fa Zhou

No

Yes

No

Optimization

NP/Opt

ASP-Core

view

download

-

download

16

Maximal Clique

Johan Wittocx

Yes

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

download

17

Labyrinth

Martin Gebser

Yes

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

18

Minimal Diagnosis

Martin Gebser

No

Yes

Yes

Search

Beyond NP

ASP-Core

view

download

download

download

19

Multi Context System Querying

Peter Schüller

No

No

Yes

Query

NP

ASP-Core

view

download

download

download

20

Numberlink

Naoyuki Tamura and Neng-Fa Zhou

No

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

21

Reverse Folding

Andrea Formisano, Agostino Dovier and Enrico Pontelli

No

Yes

No

Search

NP

-

view

download

-

download

22

Hanoi Tower

Miroslaw Truszczynski, Shaden Smith and Alex Westlund

Yes*

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

23

Magic Square Sets

Yisong Wang and Jia-Huai You

No

Yes

No

Search

NP

ASP-RfC

view

download

download

download

24

Airport Pickup

A. Ricardo Morales

No

Yes

No

Search

NP

-

view

download

-

download

25

Graph Colouring

Yuliya Lierler and Marcello Balduccini

Yes

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

26

Solitaire

Yuliya Lierler and Marcello Balduccini

Yes

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

27

Partner Units

Anna Ryabokon, Andreas Falkner and Gerhard Friedrich

No

Yes

No

Search

NP

-

view

download

-

download

28

Weight-Assignment Tree

Yuliya Lierler

No

Yes

Yes

Search

NP

-

view

download

download

download

30

Hydraulic Leaking

Francesco Calimeri and Maria Carmela Santoro

Yes*

Yes

Yes

Search

P

ASP-Core

view

download

download

download

31

Hydraulic Planning

Francesco Calimeri and Maria Carmela Santoro

Yes*

Yes

Yes

Search

P

ASP-Core

view

download

download

download

32

Stable Marriage

Francesco Ricca, Mario Alviano and Marco Manna

No

Yes

Yes

Search

P

ASP-Core

view

download

download

download

33

Maze Generation

Martin Brain and Mario Alviano

Yes*

Yes

Yes

Search

NP

ASP-Core

view

download

download

download

34

Partner Units - Polynomial

Anna Ryabokon, Andreas Falkner and Gerhard Friedrich

No

Yes

Yes

Search

P

ASP-Core

view

download

download

download

35

Incremental Scheduling

Marcello Balduccini and Yuliya Lierler

No

Yes

No

Search

NP

ASP-Core

view

download

-

download

36

Tangram

Andrea Formisano, Agostino Dovier and Enrico Pontelli

No

Yes

No

Search

NP

-

view

download

-

download

Changelog

Subscribing

Subscribe for updates in this page here (needs opening an user account).