Model & Solve Competition
The Competition features two tracks:
the Model and Solve (M&S) Track: Open problem encodings, open language(s). It is open to (and strongly encourages the participation of) any kind of system based on a declarative specification paradigm;
the System Track: Still open to any kind of declarative system, yet on the basis of fixed (public) problem encodings written in standard ASP language.
Details to be announced soon.