![]() | ![]() |
| 2011 | ||
|---|---|---|
| 4 | Johannes Klaus Fichte, Stefan Szeider: Backdoors to Tractable Answer-Set Programming. IJCAI 2011: 863-868 | |
| 3 | Johannes Klaus Fichte, Stefan Szeider: Backdoors to Tractable Answer-Set Programming CoRR abs/1104.2788: (2011) | |
| 2 | Albert Atserias, Johannes Klaus Fichte, Marc Thurley: Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. J. Artif. Intell. Res. (JAIR) 40: 353-373 (2011) | |
| 2009 | ||
| 1 | Albert Atserias, Johannes Klaus Fichte, Marc Thurley: Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. SAT 2009: 114-127 | |
| 1 | Albert Atserias | [1] [2] |
| 2 | Stefan Szeider | [3] [4] |
| 3 | Marc Thurley | [1] [2] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page