-
1
-
2
The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
3
On the Exact Complexity of Evaluating Quantified k-CNF
Veröffentlicht in Algorithmica
VolltextArtikel -
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13