- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c8 |      | Christian Drescher, Toby Walsh: Answer Set Solving with Lazy Nogood Generation. ICLP (Technical Communications) 2012: 188-200 |
| 2011 | ||
| j2 | | Christian Drescher, Oana Tifrea, Toby Walsh: Symmetry-breaking answer set solving. AI Commun. 24(2): 177-194 (2011) |
| c7 | | Christian Drescher, Toby Walsh: Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. AAAI 2011 |
| c6 | | Christian Drescher, Toby Walsh: Modelling Grammar Constraints with Answer Set Programming. ICLP (Technical Communications) 2011: 28-39 |
| c5 | | Christian Drescher, Toby Walsh: Translation-Based Constraint Answer Set Solving. IJCAI 2011: 2596-2601 |
| c4 | | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39 |
| i7 | | Christian Drescher, Toby Walsh: Translation-based Constraint Answer Set Solving. CoRR abs/1104.3927 (2011) |
| i6 | | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011) |
| 2010 | ||
| j1 | | Christian Drescher, Toby Walsh: A translational approach to constraint answer set solving. TPLP 10(4-6): 465-480 (2010) |
| c3 | | Christian Drescher, Toby Walsh: Reformulation of Global Constraints in Answer Set Programming. Abstraction, Reformulation, and Approximation 2010 |
| c2 | | Christian Drescher: Constraint Answer Set Programming Systems. ICLP (Technical Communications) 2010: 255-264 |
| i5 | | Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Heuristics in Conflict Resolution. CoRR abs/1005.1716 (2010) |
| i4 | | Christian Drescher, Toby Walsh: A Translational Approach to Constraint Answer Set Solving. CoRR abs/1007.4114 (2010) |
| i3 | | Christian Drescher, Oana Tifrea, Toby Walsh: Symmetry-breaking Answer Set Solving. CoRR abs/1008.1809 (2010) |
| i2 | | Christian Drescher, Toby Walsh: Reformulation of Global Constraints in Answer Set Programming. CoRR abs/1008.5029 (2010) |
| i1 | | |
| 2008 | ||
| c1 | | 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 |
| 1 | Thomas Eiter | |
| 2 | Michael Fink | |
| 3 | Martin Gebser | |
| 4 | Torsten Grote | |
| 5 | Benjamin Kaufmann | |
| 6 | Thomas Krennwallner | |
| 7 | Arne König | |
| 8 | Max Ostrowski | |
| 9 | Torsten Schaub | |
| 10 | Oana Tifrea | |
| 11 | Toby Walsh |
Data released under the ODC-BY 1.0 license — See also our legal information page