-
1
Satisfiability Algorithm for Syntactic Read-k-times Branching Programs
Veröffentlicht in Theory of computing systems
VolltextArtikel -
2
-
3
-
4
A Moderately Exponential Time Algorithm for k-IBDD Satisfiability
Veröffentlicht in Algorithmica
VolltextArtikel -
5
-
6
-
7
-
8
-
9
Efficient Algorithms for Sorting k-Sets in Bins
Veröffentlicht in IEICE Transactions on Information and Systems
VolltextArtikel -
10
-
11
-
12
-
13
Read-Once Branching Programs for Tree Evaluation Problems
Veröffentlicht in ACM transactions on computation theory
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
K3 Edge Cover Problem in a Wide Sense
Veröffentlicht in Journal of Information Processing
VolltextArtikel -
20