-
1
-
2
Backdoors to tractable answer set programming
Veröffentlicht in Artificial intelligence
VolltextArtikel -
3
-
4
Strong Backdoors for Default Logic
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
5
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Veröffentlicht in Theory and practice of logic programming
VolltextArtikel -
6
-
7
-
8
-
9
-
10
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
Veröffentlicht in arXiv.org
VolltextArtikel -
17
-
18
-
19
-
20