Publications in area "Logic Programming"
All || By Area || By Year| Title | Published | SHARCNET Authors | Area |
|---|---|---|---|
| 1. On probing and multi-threading in Platypus | 2006 | Gressmann, J., T. Janhunen, R. E. Mercer, T. Schaub, S. Thiele, and R. Tichy | Logic Programming |
| 2. Platypus: A platform for distributed answer set solving | 2005 | Gressmann J., T. Janhunen, R. E. Mercer, T. Schaub, S. Thiele, and R. Tichy | Logic Programming |