Martin Sauerhoff Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables. [Citation Graph (0, 0)][DBLP] FSTTCS, 1999, pp:342-355 [Conf]
Martin Sauerhoff Randomness versus Nondeterminism for Read-Once and Read- k Branching Programs. [Citation Graph (0, 0)][DBLP] STACS, 2003, pp:307-318 [Conf]
Martin Sauerhoff Lower Bounds for Randomized Read-k-Times Branching Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP] STACS, 1998, pp:105-115 [Conf]
Martin Sauerhoff On the Size of Randomized OBDDs and Read-Once Branching Programs for k-Stable Functions. [Citation Graph (0, 0)][DBLP] STACS, 1999, pp:488-499 [Conf]
Martin Sauerhoff On the size of randomized OBDDs and read-once branching programs for k-stable functions. [Citation Graph (0, 0)][DBLP] Computational Complexity, 2001, v:10, n:2, pp:155-178 [Journal]
Martin Sauerhoff An Improved Hierarchy Result for Partitioned BDDs [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2000, v:7, n:57, pp:- [Journal]
Martin Sauerhoff Approximation of Boolean Functions by Combinatorial Rectangles [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2000, v:7, n:58, pp:- [Journal]
Martin Sauerhoff A Lower Bound for Randomized Read-k-Times Branching Programs [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 1997, v:4, n:19, pp:- [Journal]
Martin Sauerhoff On Nondeterminism versus Randomness for Read-Once Branching Programs [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 1997, v:4, n:30, pp:- [Journal]
Martin Sauerhoff Randomness and Nondeterminism are Incomparable for Read-Once Branching Programs [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 1998, v:5, n:18, pp:- [Journal]
Martin Sauerhoff Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2003, v:66, n:3, pp:473-495 [Journal]
Martin Sauerhoff, Ingo Wegener On the complexity of minimizing the OBDD size for incompletely specified functions. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:11, pp:1435-1437 [Journal]
Quantum vs. Classical Read-Once Branching Programs. [Citation Graph (, )][DBLP]
An asymptotically optimal lower bound on the OBDD size of the middle bit of multiplication for the pairwise ascending variable order. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP