Author:
Uribe Tomás E.,Stickel Mark E.
Reference42 articles.
1. Anuchitanukul, A., and Manna, Z. Anti-isomorphic BDDs. Technical report, Computer Science Department, Stanford University, Stanford, CA, June 1994.
2. Bahar, R. I., Frohm, E. A., Gaona, C. M., Hachtel, G. D., Mach, E., Pardo, A., and Somenzi, F. Algebraic decision diagrams and their applications. In IEEE Intl. Conf. on Computer-Aided Design (Nov. 1993), pp. 188–191.
3. Benhamou, F., and Colmerauer, A., Eds. Constraint Logic Programming: Selected Research. MIT Press, 1993.
4. Boy de la Tour, T., and Chaminade, G. The use of renaming to improve the efficiency of clausal theorem proving. In Art. Int. IV: Methodology, Systems, Applications (1990), P. Jorrand and V. Sgurev, Eds., Elsevier, pp. 3–12.
5. Brace, K. S., Rudell, R. L., and Bryant, R. E. Efficient implementation of a BDD package. In Proc. 27
th
Design Automation Conf. (1990), pp. 40–45.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献