Benjamin Kaufmann

39 papers A* 5A 1B 10Journal 14Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
Multi-shot ASP solving with clingo.
Theory Pract. Log. Program.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2019 J jnl
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res.
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
2018 J jnl
The Potsdam Answer Set Solving Collection 5.0.
Künstliche Intell.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2017 J jnl
Clingcon: The Next Generation.
CoRR
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
2017 J jnl
Clingcon: The next generation.
Theory Pract. Log. Program.
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
2017 J jnl
Multi-shot ASP solving with clingo.
CoRR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2016 A* conf
ASP for Anytime Dynamic Programming on Tree Decompositions.
IJCAI
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran
2016 J jnl
Answer Set Programming Modulo Acyclicity.
Fundam. Informaticae
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2016 — conf
Answer Set Solving with Generalized Learned Constraints.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
2016 J jnl
Grounding and Solving in Answer Set Programming.
AI Mag.
Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub
2016 — conf
Theory Solving Made Easy with Clingo 5.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
2015 B conf
Answer Set Programming Modulo Acyclicity.
LPNMR
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2015 — —
High performance answer set solving.
Benjamin Kaufmann
2015 B conf
Progress in clasp Series 3.
LPNMR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
2014 J jnl
Clingo = ASP + Control: Preliminary Report.
CoRR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2013 A* conf
Advanced Conflict-Driven Disjunctive Answer Set Solving.
IJCAI
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2013 A* conf
Domain-Specific Heuristics in Answer Set Programming.
AAAI
Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko
2013 — conf
Robust Benchmark Set Selection for Boolean Constraint Solvers.
LION
Holger H. Hoos, Benjamin Kaufmann, Torsten Schaub, Marius Schneider
2012 — book
Answer Set Solving in Practice
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2012 J jnl
Conflict-driven answer set solving: From theory to practice.
Artif. Intell.
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012 J jnl
Multi-threaded ASP Solving with clasp
CoRR
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012 J jnl
Multi-threaded ASP solving with clasp.
Theory Pract. Log. Program.
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012 — conf
Unsatisfiability-based optimization in clasp.
ICLP (Technical Communications)
Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub
2011 B conf
A Portfolio Solver for Answer Set Programming: Preliminary Report.
LPNMR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller
2011 — conf
Challenges in Answer Set Solving.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2011 B conf
Cluster-Based ASP Solving with
LPNMR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor
2011 — conf
Multi-Criteria Optimization in Answer Set Programming.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2011 J jnl
Potassco: The Potsdam Answer Set Solving Collection.
AI Commun.
Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider
2010 J jnl
Heuristics in Conflict Resolution
CoRR
Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2009 B conf
A Simple Distributed Conflict-Driven Answer Set Solver.
LPNMR
Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor
2009 — conf
Experiences Running a Parallel Answer Set Solver on Blue Gene.
PVM/MPI
Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2009 B conf
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.
ICLP
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2009 B conf
Solution Enumeration for Projected Boolean Search Problems.
CPAIOR
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2009 B conf
The Conflict-Driven Answer Set Solver clasp: Progress Report.
LPNMR
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2008 A conf
Advanced Preprocessing for Answer Set Solving.
ECAI
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2008 A* conf
Conflict-Driven Disjunctive Answer Set Solving.
KR
Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub
2008 B conf
Engineering an Incremental ASP Solver.
ICLP
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
2007 B conf
Conflict-Driven Answer Set Enumeration.
LPNMR
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2007 A* conf
Conflict-Driven Answer Set Solving.
IJCAI
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub