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.