 | 2009 |
|---|
| 11 |       | Martin Gebser,
Benjamin Kaufmann,
Torsten Schaub:
Solution Enumeration for Projected Boolean Search Problems.
CPAIOR 2009: 71-86 |
| 10 | | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Torsten Schaub:
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.
ICLP 2009: 250-264 |
| 9 | | 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 |
| 8 | | Martin Gebser,
Benjamin Kaufmann,
Torsten Schaub:
The Conflict-Driven Answer Set Solver clasp: Progress Report.
LPNMR 2009: 509-514 |
| 7 | | 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 |
|---|
| 6 | | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Advanced Preprocessing for Answer Set Solving.
ECAI 2008: 15-19 |
| 5 | | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
Engineering an Incremental ASP Solver.
ICLP 2008: 190-205 |
| 4 |  | 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 |
| 2007 |
|---|
| 3 | | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Conflict-Driven Answer Set Solving.
IJCAI 2007: 386- |
| 2 | | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
Conflict-Driven Answer Set Enumeration.
LPNMR 2007: 136-148 |
| 1 | | Martin Gebser,
Benjamin Kaufmann,
André Neumann,
Torsten Schaub:
clasp : A Conflict-Driven Answer Set Solver.
LPNMR 2007: 260-265 |
