A Symbolic Algorithms for Maximum Flow in 0-1 Networks
暂无分享,去创建一个
[1] Seh-Woong Jeong,et al. ATPG aspects of FSM verification , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[2] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[3] R. I. Bahar,et al. Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[4] Robert K. Brayton,et al. Implicit state enumeration of finite state machines using BDD's , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[5] Kenneth Steiglitz,et al. Combinatorial Optimization: Algorithms and Complexity , 1981 .
[6] Jan van Leeuwen,et al. Graph Algorithms , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.
[7] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[8] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[9] Enrico Macii,et al. Algebric Decision Diagrams and Their Applications , 1997, ICCAD '93.
[10] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.
[11] A. Richard Newton,et al. Implicit manipulation of equivalence classes using binary decision diagrams , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[12] Fabio Somenzi,et al. Fast sequential ATPG based on implicit state enumeration , 1991, 1991, Proceedings. International Test Conference.
[13] Shimon Even,et al. Graph Algorithms , 1979 .
[14] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[15] Seh-Woong Jeong,et al. Synchronizing sequences and symbolic traversal techniques in test generation , 1993, J. Electron. Test..
[16] S. N. Maheshwari,et al. An O(|V|³) Algorithm for Finding Maximum Flows in Networks , 1978, Inf. Process. Lett..
[17] Fabio Somenzi,et al. Redundancy identification and removal based on implicit state enumeration , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[18] G. Hachtel,et al. Re-encoding sequential circuits to reduce power dissipation , 1994, ICCAD '94.