-
1
Strong partial clones and the time complexity of SAT problems
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
2
What makes propositional abduction tractable
Veröffentlicht in Artificial intelligence
VolltextArtikel -
3
A note on the hardness of Skolem-type sequences
Veröffentlicht in DISCRETE APPLIED MATHEMATICS
VolltextArtikel -
4
-
5
-
6
NP -completeness of generalized multi-Skolem sequences
Veröffentlicht in Discrete Applied Mathematics
VolltextArtikel -
7
N P-completeness of generalized multi-skolem sequences
Veröffentlicht in Discrete applied mathematics
VolltextArtikel -
8
Approximability of Clausal Constraints
Veröffentlicht in Theory of computing systems
VolltextArtikel -
9
Trichotomies in the Complexity of Minimal Inference
Veröffentlicht in Theory of computing systems
VolltextArtikel -
10
-
11
Retractions to Pseudoforests
Veröffentlicht in SIAM journal on discrete mathematics
VolltextArtikel -
12
-
13
Integer programming with 2-variable equations and 1-variable inequalities
Veröffentlicht in Information processing letters
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
-
20
RETRACTIONS TO PSEUDOFORESTS
Veröffentlicht in SIAM journal on discrete mathematics
VolltextArtikel