# Detlef Sieling

According to our database

Collaborative distances:

^{1}, Detlef Sieling authored at least 35 papers between 1993 and 2011.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2011

Playing Poker by Email.

Proceedings of the Algorithms Unplugged, 2011

2009

Minimization Problems for Parity OBDDs.

Theory Comput. Syst., 2009

2008

Poker per E-Mail.

Proceedings of the Taschenbuch der Algorithmen, 2008

2005

Quantum branching programs and space-bounded nonuniform quantum complexity.

Theor. Comput. Sci., 2005

2003

Minimization of Decision Trees Is Hard to Approximate.

Proceedings of the 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 2003

2002

Lower Bounds for Linearly Transformed OBDDs and FBDDs.

J. Comput. Syst. Sci., 2002

The Nonapproximability of OBDD Minimization.

Inf. Comput., 2002

Minimization of Decision Trees is Hard to Approximate

Electronic Colloquium on Computational Complexity (ECCC), 2002

The complexity of minimizing and learning OBDDs and FBDDs.

Discrete Applied Mathematics, 2002

2001

Binary decision diagrams in theory and practice.

STTT, 2001

A Comparison of Free BDDs and Transformed BDDs.

Formal Methods in System Design, 2001

A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism

Electronic Colloquium on Computational Complexity (ECCC), 2001

2000

A separation of syntactic and nonsyntactic (1, +k)-branching programs.

Computational Complexity, 2000

A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism.

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Restricted Branching Programs with Parity-Type Augmentations-Lower Bounds and Algorithms.

Proceedings of the ICALP Workshops 2000, 2000

1999

Lower Bounds for Linear Transformed OBDDs and FBDDs

Electronic Colloquium on Computational Complexity (ECCC), 1999

The Complexity of Minimizing FBDDs

Electronic Colloquium on Computational Complexity (ECCC), 1999

The Complexity of Minimizing FBDDs.

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Lower Bounds for Linear Transformed OBDDs and FBDDs (Extende Abstract).

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Theor. Comput. Sci., 1998

The complexity of the inclusion operation on OFDD's.

IEEE Trans. on CAD of Integrated Circuits and Systems, 1998

Variable orderings and the size of OBDDs for random partially symmetric Boolean functions.

Random Struct. Algorithms, 1998

Parity OBDDs Cannot be Handled Efficiently Enough.

Inf. Process. Lett., 1998

A Separation of Syntactic and Nonsyntactic (1,+k)-Branching Programs

Electronic Colloquium on Computational Complexity (ECCC), 1998

On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization

Electronic Colloquium on Computational Complexity (ECCC), 1998

On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization (Extended Abstract).

Proceedings of the STACS 98, 1998

1997

Derandomization.

Proceedings of the Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, 1997

1996

New Lower Bounds and Hierarchy Results for Restricted Branching Programs.

J. Comput. Syst. Sci., 1996

1995

Algorithmen und untere Schranken für verallgemeinerte OBDDs.

PhD thesis, 1995

Graph Driven BDDs - A New Data Structure for Boolean Functions.

Theor. Comput. Sci., 1995

New Lower Bounds and Hierarchy Results for Restricted Branching Programs

Electronic Colloquium on Computational Complexity (ECCC), 1995

1994

On the Power of Different Types of Restricted Branching Programs

Electronic Colloquium on Computational Complexity (ECCC), 1994

New Lower Bounds and Hierarchy Results for Restricted Branching Programs.

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994

1993

NC-Algorithms for Operations on Binary Decision Diagrams.

Parallel Processing Letters, 1993

Reduction of OBDDs in Linear Time.

Inf. Process. Lett., 1993