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

Conflict-Driven Answer Set Enumeration. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (LPNMR, 2007)

clasp : A Conflict-Driven Answer Set Solver. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (LPNMR, 2007)

Advanced Preprocessing for Answer Set Solving. - Martin Gebser; Benjamin Kaufmann; André Neumann; Torsten Schaub (ECAI, 2008)

Engineering an Incremental ASP Solver. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Sven Thiele (ICLP, 2008)

Conflict-Driven Disjunctive Answer Set Solving. - Christian Drescher; Martin Gebser; Torsten Grote; Benjamin Kaufmann; Arne König; Max Ostrowski; Torsten Schaub (KR, 2008)

Solution Enumeration for Projected Boolean Search Problems. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (CPAIOR, 2009)

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (ICLP, 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 (LPNMR, 2009)

The Conflict-Driven Answer Set Solver clasp: Progress Report. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (LPNMR, 2009)

Experiences Running a Parallel Answer Set Solver on Blue Gene. - Lars Schneidenbach; Bettina Schnor; Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (PVM/MPI, 2009)

Heuristics in Conflict Resolution - Christian Drescher; Martin Gebser; Benjamin Kaufmann; Torsten Schaub (CoRR, 2010)

Challenges in Answer Set Solving. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Multi-Criteria Optimization in Answer Set Programming. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (ICLP (Technical Communications), 2011)

Cluster-Based ASP Solving with claspar. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub; Bettina Schnor (LPNMR, 2011)

A Portfolio Solver for Answer Set Programming: Preliminary Report. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub; Marius Thomas Schneider; Stefan Ziller (LPNMR, 2011)

Potassco: The Potsdam Answer Set Solving Collection. - Martin Gebser; Benjamin Kaufmann; Roland Kaminski; Max Ostrowski; Torsten Schaub; Marius Schneider 001 (AI Commun., 2011)

Unsatisfiability-based optimization in clasp. - Benjamin Andres; Benjamin Kaufmann; Oliver Matheis; Torsten Schaub (ICLP (Technical Communications), 2012)

Conflict-driven answer set solving: From theory to practice. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (Artif. Intell., 2012)

Multi-threaded ASP solving with clasp. - Martin Gebser; Benjamin Kaufmann; Torsten Schaub (Theory Pract. Log. Program., 2012)

Answer Set Solving in Practice - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (Morgan & Claypool Publishers, 2012)

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

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

Robust Benchmark Set Selection for Boolean Constraint Solvers. - Holger H. Hoos; Benjamin Kaufmann; Torsten Schaub; Marius Schneider 001 (LION, 2013)

Clingo = ASP + Control: Preliminary Report. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (CoRR, 2014)

Progress in clasp Series 3. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Javier Romero 003; Torsten Schaub (LPNMR, 2015)

High performance answer set solving. - Benjamin Kaufmann (2015)

Answer Set Solving with Generalized Learned Constraints. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Javier Romero 003; Torsten Schaub (ICLP (Technical Communications), 2016)

Theory Solving Made Easy with Clingo 5. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Philipp Wanko (ICLP (Technical Communications), 2016)

ASP for Anytime Dynamic Programming on Tree Decompositions. - Bernhard Bliem; Benjamin Kaufmann; Torsten Schaub; Stefan Woltran (IJCAI, 2016)

Grounding and Solving in Answer Set Programming. - Benjamin Kaufmann; Nicola Leone; Simona Perri; Torsten Schaub (AI Mag., 2016)

Answer Set Programming Modulo Acyclicity. - Jori Bomanson; Martin Gebser; Tomi Janhunen; Benjamin Kaufmann; Torsten Schaub (Fundam. Informaticae, 2016)

Clingcon: The next generation. - Mutsunori Banbara; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub (Theory Pract. Log. Program., 2017)

The Potsdam Answer Set Solving Collection 5.0. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn; Philipp Wanko (Künstliche Intell., 2018)

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)

Multi-shot ASP solving with clingo. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub (Theory Pract. Log. Program., 2019)