共 50 条
- [34] Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators IEEE ACCESS, 2020, 8 (08): : 156001 - 156016
- [35] Structuring Rule Sets Using Binary Decision Diagrams RULES AND REASONING, RULEML+RR 2021, 2021, 12851 : 48 - 61
- [36] Implementation of relational algebra using binary decision diagrams RELATIONAL METHODS IN COMPUTER SCIENCE, 2002, 2561 : 241 - 257
- [39] Using datalog with binary decision diagrams for program analysis PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 97 - 118
- [40] Synthesis for regularity using decision diagrams 2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 4721 - 4724