The following publications are possibly variants of this publication:
- Conflict-Driven Answer Set SolvingMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. IJCAI 2007: 386 [doi]
- Answer Set Solving in PracticeMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, 2012. [doi]
- Conflict-Driven Disjunctive Answer Set SolvingChristian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub. kr 2008: 422-432
- Advanced Conflict-Driven Disjunctive Answer Set SolvingMartin Gebser, Benjamin Kaufmann, Torsten Schaub. IJCAI 2013: 912-918 [doi]
- ::::clasp:::: : A Conflict-Driven Answer Set SolverMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. lpnmr 2007: 260-265 [doi]
- A Simple Distributed Conflict-Driven Answer Set SolverEnrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor. lpnmr 2009: 490-495 [doi]
- The Conflict-Driven Answer Set Solver clasp: Progress ReportMartin Gebser, Benjamin Kaufmann, Torsten Schaub. lpnmr 2009: 509-514 [doi]