Official Problem Suite

#

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

N

NAME

AUTH

Yes

No

Optimization

Beyond NP/Opt

-

view

download

download