共 50 条
- [21] Reversible Circuit Synthesis Using Binary Decision Diagrams [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 235 - 238
- [23] Using Datalog with binary decision diagrams for program analysis [J]. Whaley, J. (jwhaley@cs.stanford.edu), Asian Association for Foundation of Software; Japan Society for Software Science and Technology; International Information Science Foundation, Japan; University of Tsukuba (Springer Verlag):
- [25] Partial binary decision diagrams [J]. PROCEEDINGS OF THE THIRTY-FOURTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2002, : 422 - 425
- [26] Equational binary decision diagrams [J]. LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 161 - 178
- [27] Timed binary decision diagrams [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 352 - 357
- [28] A CHARACTERIZATION OF BINARY DECISION DIAGRAMS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (02) : 129 - 137
- [30] FUNCTIONAL TEST GENERATION USING BINARY DECISION DIAGRAMS. [J]. Computers & mathematics with applications, 1987, 13 (5-6): : 413 - 430