Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Fast discrete function evaluation using decision diagrams
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
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
Representations of Discrete Functions
Representations of Discrete Functions
Optimization of multivalued decision algorithms
MVL '78 Proceedings of the eighth international symposium on Multiple-valued logic
A method to represent multiple-output switching functions by using multi-valued decision diagrams
ISMVL '96 Proceedings of the 26th International Symposium on Multiple-Valued Logic
| Hi-index | 0.00 |