Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Fast functional simulation using branching programs
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Dynamic variable ordering for ordered binary decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Functional simulation using binary decision diagrams
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Formal Methods in System Design
Symbolic Model Checking
Formal Equivalence Checking and Design DeBugging
Formal Equivalence Checking and Design DeBugging
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
BDD minimization using symmetries
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
| Hi-index | 0.00 |