Statistics
Publications
16
Citations
2.1K
H-Index
16
Active since
2007
Benjamin Kaufmann is an author at University of Potsdam specializing in computer science, computing, and constraint satisfaction.
Publications per year
2007–2018
16
16
Potassco: The Potsdam Answer Set Solving Collection
Martin Gebser, Benjamin Kaufmann, Roland Kaminski et al. · AI Communications · 2011 · 471 citations
Conflict-driven answer set solving
Martin Gebser, Benjamin Kaufmann, Torsten Schaub · 2007 · 296 citations
Answer Set Solving in Practice
Martin Gebser, Roland Kaminski, Benjamin Kaufmann et al. · Synthesis lectures on artificial intelligence and machine learning · 2012 · 292 citations
Theory Solving Made Easy with Clingo 5
Martin Gebser, Roland Kaminski, Benjamin Kaufmann et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 147 citations · Full text
1–5 of 16