共 50 条
- [41] Evolving binary decision diagrams using implicit neutrality 2005 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-3, PROCEEDINGS, 2005, : 2107 - 2113
- [42] Using Datalog with binary decision diagrams for program analysis 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):
- [43] Synthesis of multiple-valued Decision Diagrams using current-mode CMOS circuits 1999 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1999, : 160 - 165
- [44] Reversible Logic Synthesis via Biconditional Binary Decision Diagrams 2015 IEEE 45TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2015, : 2 - 7
- [46] Partial binary decision diagrams PROCEEDINGS OF THE THIRTY-FOURTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2002, : 422 - 425
- [47] Equational binary decision diagrams LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 161 - 178
- [49] Timed binary decision diagrams INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 352 - 357