The LP/CP programming contest will be run from 7:00PM to 9:00PM (New York time) on October 18 at the
32nd International Conference on Logic Programming
, New York City, USAhttp://software.imdea.org/Conferences/ICLP2016. This programming contest combines the ideas of the Prolog programming contest, the ASP model & solve contest, IDP system and the Minizinc model & solve contest.
The LP/CP programming contest consists of two tracks: one on-site track and one online track (the online track will be open for submissions for 24 hours). For both tracks, each team can consist of up to three participants, and each team may only use a single LP/CP system. For the on-site track, each team can use at most TWO computers. For the online track, there is no limit to the number of computers that can be used.
Report: Contest Report
Submission page: https://easychair.org/conferences/?conf=lpcppc2016
Each program is submitted as a "paper", in which the title has the form
|Problem Statement||SWI-Prolog||SICStus Prolog||Ciao Prolog||ECLiPSe Prolog||XSB Prolog||Potassco||Picat||MiniZinc||IDP|
||Blocked Ciao||Blocked ECLiPSe
||Blocked Picat||Blocked Minizinc||Blocked IDP|
||Meeting Point SWI
||Meeting Point SICStus
||Meeting Point Ciao||Meeting Point ECLiPSe
||Meeting Point XSB||Meeting Point Clingo
||Meeting Point Picat
||Meeting Point Minizinc||Meeting Point IDP|
For each problem, a set of instances is used to test submitted programs. A smaller set of the test instances and their sample outputs will be made available online during the competition. A program-run is started by a command that consists of the system’s executable name, the program file, and an instance file. Examples:
swipl -g "main,halt." prog1.pl instance1.pl
clingo prog1.asp instance1.pl
picat prog1.pi instance1.pl
minizinc prog1.mzn instance1.dzn
eclipse -e main -f prog1.pl -f instance1.pl
All outputs must be sent to the console in the format specified by the problem description. Programs are run on test instances during the competition. If a program fails to give a correct answer or fails to solve an instance in 60 seconds, the team may be notified by email and can submit another program.
There will be prizes for the winners of both the on-site and online tracks. There are separate rankings for the on-site and online tracks. The teams are ranked by the number of correctly solved problems. If necessary, the submission times and the run times of the solutions are used to break ties.
No, you do not have to register in advance. Nevertheless, you may want to test your Easychair account by submitting an empty solution in advance, so that you can save some time when submitting real solutions.
Yes, most of the instances are easy to solve, even with simple backtracking.
- Paul Fodor: pfodor at cs.stonybrook.edu
- Antonius Weinzierl: antonius.weinzierl at kr.tuwien.ac.at
- Aakash Kattelu: aakash.kattelu at stonybrook.edu
- Tyler Estro: tyler.estro at stonybrook.edu
- Akshit Poddar: akshit.poddar at stonybrook.edu
- James A. Morris: james.a.morris at stonybrook.edu
- Xiao Zhang: xiao.zhang at stonybrook.edu
- Keshav Kalanadhabhatta: keshav.kalanadhabhatta dot stonybrook.edu