 | 2009 |
|---|
| 5 |       | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Torsten Schaub:
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.
ICLP 2009: 250-264 |
| 4 | | Enrico Ellguth,
Martin Gebser,
Markus Gusowski,
Benjamin Kaufmann,
Roland Kaminski,
Stefan Liske,
Torsten Schaub,
Lars Schneidenbach,
Bettina Schnor:
A Simple Distributed Conflict-Driven Answer Set Solver.
LPNMR 2009: 490-495 |
| 3 | | Martin Gebser,
Roland Kaminski,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
On the Input Language of ASP Grounder Gringo.
LPNMR 2009: 502-508 |
| 2 | | Lars Schneidenbach,
Bettina Schnor,
Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Torsten Schaub:
Experiences Running a Parallel Answer Set Solver on Blue Gene.
PVM/MPI 2009: 64-72 |
| 2008 |
|---|
| 1 | | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
Engineering an Incremental ASP Solver.
ICLP 2008: 190-205 |
