Kaufmann, Benjamin

4 publications

IJCAI 2016 ASP for Anytime Dynamic Programming on Tree Decompositions Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran

IJCAI 2013 Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser, Benjamin Kaufmann, Torsten Schaub

AAAI 2013 Domain-Specific Heuristics in Answer Set Programming Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko

IJCAI 2007 Conflict-Driven Answer Set Solving Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub