Differences between revisions 2 and 3

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.

ASP Competition 2013: MSCompetition (last edited 2012-11-21 07:55:01 by ThomasKrennwallner)

-  ⇤ ← Revision 2 as of 2012-05-10 10:59:51 → 
  Size: 417
  Editor: FrancescoCalimeri
  Comment:
+   ← Revision 3 as of 2012-05-10 11:02:11 → ⇥
  Size: 487
  Editor: FrancescoCalimeri
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 4:
- * the Model and Solve (M&S) Track: open problem encoding, open language. It is open to (and strongly encourages the participation of) any kind of system based on a declarative specification paradigm; 
 * the System Track: fixed, public problem encodings, written in ASP language, specified within a standard.
+ * 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''.

ASP Competition 2013