Benjamin Kaufmann

According to our database, Benjamin Kaufmann authored at least 36 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Multi-shot ASP solving with clingo.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Theory Pract. Log. Program., 2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

Ann. Oper. Res., 2019

2018

The Potsdam Answer Set Solving Collection 5.0.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Künstliche Intell., 2018

2017

Clingcon: The next generation.

Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

Theory Pract. Log. Program., 2017

2016

Answer Set Programming Modulo Acyclicity.

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Fundam. Informaticae, 2016

Grounding and Solving in Answer Set Programming.

Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub

AI Mag., 2016

ASP for Anytime Dynamic Programming on Tree Decompositions.

Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theory Solving Made Easy with Clingo 5.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Answer Set Solving with Generalized Learned Constraints.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

High performance answer set solving.

Benjamin Kaufmann

PhD thesis, 2015

Progress in clasp Series 3.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014

Clingo = ASP + Control: Preliminary Report.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

CoRR, 2014

2013

Robust Benchmark Set Selection for Boolean Constraint Solvers.

Holger H. Hoos, Benjamin Kaufmann, Torsten Schaub, Marius Schneider

Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

Advanced Conflict-Driven Disjunctive Answer Set Solving.

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Proceedings of the IJCAI 2013, 2013

Domain-Specific Heuristics in Answer Set Programming.

Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Answer Set Solving in Practice

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01561-8, 2012

Multi-threaded ASP solving with clasp.

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Theory Pract. Log. Program., 2012

Conflict-driven answer set solving: From theory to practice.

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Artif. Intell., 2012

Unsatisfiability-based optimization in clasp.

Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Potassco: The Potsdam Answer Set Solving Collection.

Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider

AI Commun., 2011

A Portfolio Solver for Answer Set Programming: Preliminary Report.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Cluster-Based ASP Solving with <i>claspar</i>.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Multi-Criteria Optimization in Answer Set Programming.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Challenges in Answer Set Solving.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Heuristics in Conflict Resolution

Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub

CoRR, 2010

2009

Experiences Running a Parallel Answer Set Solver on Blue Gene.

Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

The Conflict-Driven Answer Set Solver clasp: Progress Report.

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Proceedings of the Logic Programming, 25th International Conference, 2009

Solution Enumeration for Projected Boolean Search Problems.

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Conflict-Driven Disjunctive Answer Set Solving.

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Engineering an Incremental ASP Solver.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele

Proceedings of the Logic Programming, 24th International Conference, 2008

Advanced Preprocessing for Answer Set Solving.

Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub

Proceedings of the ECAI 2008, 2008

2007

<i>clasp</i> : A Conflict-Driven Answer Set Solver.

Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Conflict-Driven Answer Set Enumeration.

Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Conflict-Driven Answer Set Solving.

Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub

Proceedings of the IJCAI 2007, 2007