2008 | ||
---|---|---|
2 | EE | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205 |
1 | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432 |
1 | Christian Drescher | [1] |
2 | Martin Gebser | [1] [2] |
3 | Torsten Grote | [1] |
4 | Roland Kaminski | [2] |
5 | Benjamin Kaufmann | [1] [2] |
6 | Arne König | [1] |
7 | Torsten Schaub | [1] [2] |
8 | Sven Thiele | [2] |