#
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
