Martin Gebser Vis

*	2009
33	EE	Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009: 71-86
32	EE	Martin Gebser, Max Ostrowski, Torsten Schaub: Constraint Answer Set Solving. ICLP 2009: 235-249
31	EE	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264
30	EE	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
29	EE	Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508
28	EE	Martin Gebser, Benjamin Kaufmann, Torsten Schaub: The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR 2009: 509-514
27	EE	Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub: Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. LPNMR 2009: 598-603
26	EE	Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski: The Second Answer Set Programming Competition. LPNMR 2009: 637-654
25	EE	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
24		Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453
23	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19
22	EE	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS 2008: 24-41
21	EE	Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008: 130-144
20	EE	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205
19		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
18	EE	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT 2007
17	EE	Martin Gebser, Torsten Schaub: Generic Tableaux for Answer Set Programming. ICLP 2007: 119-133
16	EE	Martin Gebser: Advanced Techniques for Answer Set Programming. ICLP 2007: 458-459
15	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386-
14	EE	Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP 2007: 247-252
13	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148
12	EE	Martin Gebser, Joohyung Lee, Yuliya Lierler: Head-Elementary-Set-Free Logic Programs. LPNMR 2007: 149-161
11	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265
10	EE	Martin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271
9	EE	Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski: The First Answer Set Programming System Competition. LPNMR 2007: 3-17
8	EE	Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43
	2006
7		Martin Gebser, Joohyung Lee, Yuliya Lierler: Elementary Sets of Logic Programs. AAAI 2006
6		Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub: What's a Head Without a Body? ECAI 2006: 769-770
5	EE	Martin Gebser, Torsten Schaub: Tableau Calculi for Answer Set Programming. ICLP 2006: 11-25
	2005
4	EE	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
3	EE	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109
2	EE	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426
1	EE	Martin Gebser, Torsten Schaub: Loops: Relevant or Redundant? LPNMR 2005: 53-65

Coauthor Index

1	Christian Anger	[2] [3] [4] [6]
2	Christophe Bobda	[27]
3	Stephen Bond	[26]
4	Martin Brain	[8]
5	Marc Denecker	[26]
6	Christian Drescher	[19]
7	Enrico Ellguth	[30]
8	Torsten Grote	[19]
9	Markus Gusowski	[30]
10	Harold Ishebabi	[27]
11	Tomi Janhunen	[6]
12	Roland Kaminski	[20] [25] [29] [30] [31]
13	Benjamin Kaufmann	[11] [13] [15] [19] [20] [23] [25] [28] [30] [31] [33]
14	Arne König	[19]
15	Joohyung Lee	[7] [12]
16	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[7] [12]
17	Thomas Linke	[2] [3] [4]
18	Stefan Liske	[30]
19	Lengning Liu	[9]
20	Philipp Mahr	[27]
21	Gayathri Namasivayam	[9]
22	André Neumann	[2] [3] [4] [9] [11] [13] [15] [23]
23	Max Ostrowski	[19] [20] [29] [32]
24	Jörg Pührer	[8] [14] [24]
25	Torsten Schaub	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29] [30] [31] [32] [33]
26	Lars Schneidenbach	[25] [30]
27	Bettina Schnor	[25] [30]
28	Sven Thiele	[10] [20] [21] [29]
29	Hans Tompits	[8] [14] [18] [22] [24]
30	Miroslaw Truszczynski	[9] [26]
31	Björn Usadel	[21]
32	Philippe Veber	[21]
33	Joost Vennekens	[26]
34	Stefan Woltran	[8] [14] [18] [22]

Colors in the list of coauthors