Martin Sauerhoff

From MaRDI portal
(Redirected from Person:234347)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Binary decision diagrams2011-03-09Paper
An asymptotically optimal lower bound on the OBDD size of the middle bit of multiplication for the pairwise ascending variable order
Discrete Applied Mathematics
2010-10-11Paper
Time-space tradeoff lower bounds for integer multiplication and graphs of arithmetic functions
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
2010-08-16Paper
Applying approximate counting for computing the frequency moments of long data streams
Theory of Computing Systems
2009-08-06Paper
Quantum branching programs and space-bounded nonuniform quantum complexity
Theoretical Computer Science
2005-06-01Paper
On multi-partition communication complexity
Information and Computation
2004-11-12Paper
scientific article; zbMATH DE number 2083801 (Why is no real title available?)2004-08-06Paper
The power of nondeterminism and randomness for oblivious branching programs
Theory of Computing Systems
2003-08-26Paper
Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines.
Journal of Computer and System Sciences
2003-08-19Paper
scientific article; zbMATH DE number 1962823 (Why is no real title available?)2003-08-11Paper
Approximation of boolean functions by combinatorial rectangles
Theoretical Computer Science
2003-07-30Paper
On the nonapproximability of Boolean functions by OBDDs and read-\(k\)-times branching programs
Information and Computation
2003-01-14Paper
On the size of randomized OBDDs and read-once branching programs for \(k\)-stable functions
Computational Complexity
2002-08-14Paper
Optimal ordered binary decision diagrams for read-once formulas
Discrete Applied Mathematics
2002-04-21Paper
scientific article; zbMATH DE number 1688365 (Why is no real title available?)2002-01-09Paper
scientific article; zbMATH DE number 1500514 (Why is no real title available?)2001-04-26Paper
scientific article; zbMATH DE number 1500659 (Why is no real title available?)2001-04-09Paper
An improved hierarchy result for partitioned BDDs
Theory of Computing Systems
2000-12-07Paper
scientific article; zbMATH DE number 1304312 (Why is no real title available?)1999-10-06Paper
On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
RAIRO - Theoretical Informatics and Applications
1999-09-22Paper
On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
RAIRO - Theoretical Informatics and Applications
1999-09-22Paper
Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs
Theoretical Computer Science
1999-01-12Paper
scientific article; zbMATH DE number 910733 (Why is no real title available?)1996-11-04Paper


Research outcomes over time


This page was built for person: Martin Sauerhoff