|
1
|
Binary Decision Diagrams
– Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener
|
|
1
|
The Complexity of Minimizing FBDDs
– Detlef Sieling
- 1999
|
|
12
|
Complexity of Problems on Graphs Represented as OBDDs
– Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
- 1999
|
|
2
|
On the Limitations of Ordered Representations of Functions
– Jayram S. Thathachar, Jayram S. Thathachar
- 1997
|
|
164
|
The NP-completeness column: an ongoing guide
– David S. Johnson
- 1985
|
|
1
|
On The Complexity Of Operations On Graph Driven BDDs And Tree Driven BDDs
– Detlef Sieling
- 1994
|
|
32
|
Complexity of Finite-Horizon Markov Decision Process Problems
– Martin Mundhenk, Judy Goldsmith, Christopher Lusena, Eric Allender
- 2000
|
|
5
|
A Survey of Techniques for Formal Verification of Combinational Circuits
– Jawahar Jain, et al.
- 1997
|
|
4
|
Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams
– Beate Bollig, Ingo Wegener
- 1995
|
|
88
|
Decomposable negation normal form
– Adnan Darwiche
- 2001
|
|
224
|
On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication
– Randal E. Bryant
- 1998
|
|
1
|
The complexity of problems on implicitly represented inputs
– Daniel Sawitzki
- 2006
|
|
|
Boolean Expression Diagrams
– Extend Ed, Henrik Reif Andersen, Henrik Hulgaard
|
|
2
|
Combinational Logic-Level Verification using Boolean Expression Diagrams
– Henrik Hulgaard, Poul Frederick Williams, Williams Henrik, Henrik Reif Andersen
- 1997
|
|
|
Equivalence Checking of Hierarchical Combinational Circuits
– Poul Frederick Williams, Henrik Hulgaard , Henrik Reif Andersen
- 1999
|
|
16
|
Equivalence Checking of Combinational Circuits using Boolean Expression Diagrams
– Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen
- 1999
|
|
45
|
Boolean Expression Diagrams
– Henrik Reif Andersen, Henrik Hulgaard
- 1997
|
|
2
|
BDDs - Design, Analysis, Complexity, and Applications
– Ingo Wegener
- 2004
|
|
4
|
Canonical TBDD's and Their Application to Combinational Verification
– Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton
- 1997
|
