|
⇤ ← Revision 1 as of 2013-05-23 22:50:41
Size: 967
Comment:
|
← Revision 2 as of 2013-05-24 17:47:28 ⇥
Size: 1000
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| * Stef De Pooter (KU Leuven) |
IDP 2
Team
- Bart Bogaerts (KU Leuven)
- Maurice Bruynooghe (KU Leuven)
- Broes De Cat (KU Leuven)
- Marc Denecker (KU Leuven)
- Jo Devriendt (KU Leuven)
- Joachim Jansen (KU Leuven)
- Pieter Van Hertum (KU Leuven)
- Stef De Pooter (KU Leuven)
Description
IDP2 consists of the grounder GidL and the search algorithm MinisatID.
System Settings
System versions:
- GidL 1.6.12
- MinisatID 3.7.4
All benchmarks were solved with IDP using its default parameter settings except the maximum approximation level was set to 6. IDP3 was used to handle pre- and postprocessing.
References
Participant URL.
Wittocx J. et al. The idp system: a model expansion system for an extension of classical logic. LASH 2008.