Christian Drescher

	2011
16		Christian Drescher, Toby Walsh: Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. AAAI 2011
15		Christian Drescher, Toby Walsh: Modelling Grammar Constraints with Answer Set Programming. ICLP (Technical Communications) 2011: 28-39
14		Christian Drescher, Toby Walsh: Translation-Based Constraint Answer Set Solving. IJCAI 2011: 2596-2601
13		Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39
12		Christian Drescher, Oana Tifrea, Toby Walsh: Symmetry-breaking answer set solving. AI Commun. 24(2): 177-194 (2011)
11		Christian Drescher, Toby Walsh: Translation-based Constraint Answer Set Solving CoRR abs/1104.3927: (2011)
10		Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems CoRR abs/1104.3931: (2011)
	2010
9		Christian Drescher, Toby Walsh: Reformulation of Global Constraints in Answer Set Programming. Abstraction, Reformulation, and Approximation 2010
8		Christian Drescher: Constraint Answer Set Programming Systems. ICLP (Technical Communications) 2010: 255-264
7		Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Heuristics in Conflict Resolution CoRR abs/1005.1716: (2010)
6		Christian Drescher, Toby Walsh: A Translational Approach to Constraint Answer Set Solving CoRR abs/1007.4114: (2010)
5		Christian Drescher, Oana Tifrea, Toby Walsh: Symmetry-breaking Answer Set Solving CoRR abs/1008.1809: (2010)
4		Christian Drescher, Toby Walsh: Reformulation of Global Constraints in Answer Set Programming CoRR abs/1008.5029: (2010)
3		Christian Drescher: Symmetry Breaking for Answer Set Programming CoRR abs/1008.5033: (2010)
2		Christian Drescher, Toby Walsh: A translational approach to constraint answer set solving. TPLP 10(4-6): 465-480 (2010)
	2008
1		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

Coauthor Index

1	Thomas Eiter	[10] [13]
2	Michael Fink	[10] [13]
3	Martin Gebser	[1] [7]
4	Torsten Grote	[1]
5	Benjamin Kaufmann	[1] [7]
6	Arne König	[1]
7	Thomas Krennwallner	[10] [13]
8	Max Ostrowski	[1]
9	Torsten Schaub	[1] [7]
10	Oana Tifrea	[5] [12]
11	Toby Walsh	[2] [4] [5] [6] [9] [10] [11] [12] [13] [14] [15] [16]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page