Benjamin Kaufmann

	2012
18		Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Conflict-driven answer set solving: From theory to practice. Artif. Intell. 187: 52-89 (2012)
	2011
17		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) 2011: 1-10
16		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller: A Portfolio Solver for Answer Set Programming: Preliminary Report. LPNMR 2011: 352-357
15		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor: Cluster-Based ASP Solving with claspar. LPNMR 2011: 364-369
14		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 74-90
13		Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider: Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24(2): 107-124 (2011)
	2010
12		Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Heuristics in Conflict Resolution CoRR abs/1005.1716: (2010)
	2009
11		Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009: 71-86
10		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264
9		Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor: A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495
8		Martin Gebser, Benjamin Kaufmann, Torsten Schaub: The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR 2009: 509-514
7		Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI 2009: 64-72
	2008
6		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19
5		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205
4		Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432
	2007
3		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386-
2		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148
1		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265

Coauthor Index

1	Christian Drescher	[4] [12]
2	Enrico Ellguth	[9]
3	Martin Gebser	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
4	Torsten Grote	[4]
5	Markus Gusowski	[9]
6	Roland Kaminski	[5] [7] [9] [10] [13] [14] [15] [16] [17]
7	Arne König	[4]
8	Stefan Liske	[9]
9	André Neumann	[1] [2] [3] [6]
10	Max Ostrowski	[4] [5] [13]
11	Torsten Schaub	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
12	Lars Schneidenbach	[7] [9]
13	Marius Thomas Schneider	[13] [16]
14	Bettina Schnor	[7] [9] [15]
15	Sven Thiele	[5]
16	Stefan Ziller	[16]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page