|
Size: 4691
Comment:
|
← Revision 27 as of 2014-04-01 10:15:54 ⇥
Size: 4697
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 68: | Line 68: |
| ## * The first argument ({{{$1}}}, {{{argv[1]}}}, ...) is the maximum integer which is sufficient for solving the input instance ({{{0}}} if not meaningful for the problem/instance at hand). ## * The second argument ({{{$2}}}, {{{argv[2]}}}, ...) is the maximum nesting level of function symbols which is sufficient for solving the input instance ({{{0}}} if not meaningful for the problem/instance at hand). ## * The third argument ({{{$3}}}, {{{argv[3]}}}, ...) is a comma-separated list of output predicates {{{p1/n1,p2/n2,...}}} with predicate names {{{pi}}} and arities {{{ni}}}. This list specifies which output predicates should be included in the output of the run script. Note that, for avoiding syntactic problem recognition techniques, predicate names might be masked/renamed and might not coincide with output predicate names listed in public problem specifications. |
## ## * The first argument ({{{$1}}}, {{{argv[1]}}}, ...) is the maximum integer which is sufficient for solving the input instance ({{{0}}} if not meaningful for the problem/instance at hand). ## ## * The second argument ({{{$2}}}, {{{argv[2]}}}, ...) is the maximum nesting level of function symbols which is sufficient for solving the input instance ({{{0}}} if not meaningful for the problem/instance at hand). ## ## * The third argument ({{{$3}}}, {{{argv[3]}}}, ...) is a comma-separated list of output predicates {{{p1/n1,p2/n2,...}}} with predicate names {{{pi}}} and arities {{{ni}}}. This list specifies which output predicates should be included in the output of the run script. Note that, for avoiding syntactic problem recognition techniques, predicate names might be masked/renamed and might not coincide with output predicate names listed in public problem specifications. |
Participant submission procedure
Application Procedure
Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to this address specifying:
- the name of their team;
- names and affiliation of the team members (institution, research group);
- name and number of the systems the team will submit;
- please indicate whether a system is an updated version of a solution submitted to the 2013 edition;
- specific software requirements: e.g. linux packages/libraries needed to run your system.
- language support: e.g. my submission supports normal logic programs and aggregates, it does not support weak constraints and function symbols... and so on.
Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh.
Detailed submission instructions, competition rules, hardware and software settings will be published soon. Pease check this page frequently.
Directions for Submitting
Available SOON.