Benjamin Kaufmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
7
Active years
2007–2016
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICLP | Answer Set Solving with Generalized Learned Constraints. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lhne, Javier Romero, Torsten Schaub |
| 2016 | ICLP | Theory Solving Made Easy with Clingo 5. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko |
| 2016 | IJCAI | ASP for Anytime Dynamic Programming on Tree Decompositions. | Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran |
| 2015 | LPNMR | Answer Set Programming Modulo Acyclicity. | Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
| 2015 | LPNMR | Progress in clasp Series 3. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub |
| 2013 | AAAI | Domain-Specific Heuristics in Answer Set Programming. | Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramn Otero, Torsten Schaub, Philipp Wanko |
| 2013 | IJCAI | Advanced Conflict-Driven Disjunctive Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2012 | ICLP | Unsatisfiability-based optimization in clasp. | Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub |
| 2011 | ICLP | Multi-Criteria Optimization in Answer Set Programming. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2011 | LPNMR | Cluster-Based ASP Solving with | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor |
| 2011 | LPNMR | A Portfolio Solver for Answer Set Programming: Preliminary Report. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller |
| 2009 | CPAIOR | Solution Enumeration for Projected Boolean Search Problems. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2009 | ICLP | On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
| 2009 | LPNMR | A Simple Distributed Conflict-Driven Answer Set Solver. | Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor |
| 2009 | LPNMR | The Conflict-Driven Answer Set Solver clasp: Progress Report. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
| 2008 | ECAI | Advanced Preprocessing for Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2008 | ICLP | Engineering an Incremental ASP Solver. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2008 | KR | Conflict-Driven Disjunctive Answer Set Solving. | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne Knig, Max Ostrowski, Torsten Schaub |
| 2007 | IJCAI | Conflict-Driven Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Conflict-Driven Answer Set Enumeration. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Untitled record | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |