Differences between revisions 2 and 4 (spanning 2 versions)

Model & Solve Competition

Details to be announced soon.

Fifth Answer Set Programming Competition (ASPCOMP 2014): MSCompetition (last edited 2012-11-21 07:55:01 by 213-33-21-125)

-  ⇤ ← Revision 2 as of 2012-05-10 10:59:51 → 
  Size: 417
  Editor: FrancescoCalimeri
  Comment:
+   ← Revision 4 as of 2012-05-10 11:02:41 → ⇥
  Size: 64
  Editor: FrancescoCalimeri
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
-The Competition features two tracks: 
 * 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.

Fifth Answer Set Programming Competition (ASPCOMP 2014)