#

Problem Name

Author(s)

Model & Solve Competition

System Competition

Type

Class

Language for System Competition

Final Problem Description

Training Instances

ASP-Core/ASP-RfC encoding

1

Crossing minimization in layered graphs

Peter Stuckey and Graeme Gange

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

2

Reachability

Giorgio Terracina

Yes

Yes

Query

P

ASP-Core

view

download

download

3

Strategic Companies

Mario Alviano, Marco Maratea and Francesco Ricca

Yes

Yes

Search

Beyond NP

ASP-Core

view

download

download

4

Company Controls

Mario Alviano

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

5

Company Controls Optimize

Mario Alviano

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

6

Grammar-Based Information Extraction

Marco Manna

Yes

Yes

Search

P

ASP-Core

view

download

download

9

Fastfood Optimization

Wolfgang Faber

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

10

Sokoban Decision

Wolfgang Faber

Yes

Yes

Search

NP

ASP-Core

view

download

download

11

Sokoban Optimization

Wolfgang Faber

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

15

Tomography (Graph set covering)

Neng-Fa Zhou

Yes

No

Optimization

NP

ASP-Core

view

download

-

16

Maximal Clique

Johan Wittocx

Yes

No

Optimization

Beyond NP/Opt

-

view

download

-

17

Labyrinth

Martin Gebser

Yes

Yes

Search

NP

ASP-Core

view

download

download

18

Minimal Diagnosis

Martin Gebser

Yes

Yes

Search

Beyond NP

ASP-Core

view

download

download

20

Numberlink

Naoyuki Tamura and Neng-Fa Zhou

Yes

Yes

Search

NP

ASP-Core

view

download

download

21

Reverse Folding

Andrea Formisano, Agostino Dovier and Enrico Pontelli

Yes

No

Search

NP

-

view

download

-

33

Maze Generation

Martin Brain and Mario Alviano

Yes

Yes

Search

NP

ASP-Core

view

download

download

36

Tangram

Andrea Formisano, Agostino Dovier and Enrico Pontelli

Yes

No

Search

NP

-

view

download

-