A symbolic algorithm for maximum flow in 0-1 networks

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A symbolic algorithm for maximum flow in 0-1 networks

Full text

Pdf (456 KB)

Source

International Conference on Computer Aided Design archive
Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design table of contents

Santa Clara, California, United States

Pages: 403 - 406

Year of Publication: 1993

ISBN:0-8186-4490-7

Authors

Gary D. Hachtel	Department of Electrical and Computer Engineering, University of Colorado at Boulder, 80309
Fabio Somenzi	Department of Electrical and Computer Engineering, University of Colorado at Boulder, 80309

Sponsors

IEEE-CS : Computer Society
SIGDA: ACM Special Interest Group on Design Automation

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 9, Citation Count: 6

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	R. Iris Bahar , Erica A. Frohm , Charles M. Gaona , Gary D. Hachtel , Enrico Macii , Abelardo Pardo , Fabio Somenzi, Algebraic decision diagrams and their applications, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.188-191, November 07-11, 1993, Santa Clara, California, United States
	2	Karl S. Brace , Richard L. Rudell , Randal E. Bryant, Efficient implementation of a BDD package, Proceedings of the 27th ACM/IEEE conference on Design automation, p.40-45, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123222]
	3	J.R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, June 1990.
	4	H. Cho, G. D. Hachtel, S.-W. Jeong, B. Plessier, E. Schwarz, and F. Somen~i. ATPG aspects of FSM verification. In Proceeding~ of the IEEE International Conference on Compute~ Aided Design, pages 134-137, November 1990.
	5	H. Cho, G. D. Hachtel, and F. Somen~i. Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. IEEE Transactions on Computer- Aided Design of integrated Circuit~ and Systems, 1993. To appear.
	6	Thomas T. Cormen , Charles E. Leiserson , Ronald L. Rivest, Introduction to algorithms, MIT Press, Cambridge, MA, 1990
	7	O. Coudert, C. Berthet, and J. C. Madre. Verification of sequential machines using boolean functional vectors. In L. Claesen, editor, Proceedings IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, pages 111- 128, Leuven, Belgium, November 1989.
	8	E. A. Dinits. Algorithm for solution of a problem of maximal flow in a network with power estimation. Soviet Math. Dokl., 11:1277-1280, 1970.
	9	Shimon Even, Graph Algorithms, W. H. Freeman & Co., New York, NY, 1979
	10	V. M. Malhotra~ M. Pramodh Kumar, and S. N. Maheshwary. An O(IV{ ) algorithm for finding maximum flows in networks. Information Processing Letters, 7(6):277-278, October 1978.

CITED BY 6

	Aiguo Xie , Peter A. Beerel, Efficient state classification of finite state Markov chains, Proceedings of the 35th annual conference on Design automation, p.605-610, June 15-19, 1998, San Francisco, California, United States
	R. Iris Bahar , Erica A. Frohm , Charles M. Gaona , Gary D. Hachtel , Enrico Macii , Abelardo Pardo , Fabio Somenzi, Algebraic decision diagrams and their applications, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.188-191, November 07-11, 1993, Santa Clara, California, United States
	G. Cabodi , P. Camurati , L. Lavagno , S. Quer , R. Brayton , E. Sentovich, Incremental re-encoding for symbolic traversal of product machines, Proceedings of the conference on European design automation, p.158-163, September 1996, Geneva, Switzerland
	Balakrishna Kumthekar , In-Ho Moon , Fabio Somenzi, A symbolic algorithm for low-power sequential synthesis, Proceedings of the 1997 international symposium on Low power electronics and design, p.56-61, August 18-20, 1997, Monterey, California, United States
	Gary D. Hachtel , Mariano Hermida , Abelardo Pardo , Massimo Poncino , Fabio Somenzi, Re-encoding sequential circuits to reduce power dissipation, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.70-73, November 06-10, 1994, San Jose, California, United States
	Stefano Quer , Gianpiero Cabodi , Paolo Camurati , Luciano Lavagno , Ellen M. Sentovich , Robert K. Brayton, Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks, Formal Methods in System Design, v.17 n.2, p.107-134, Oct. 2000

Collaborative Colleagues:

Gary D. Hachtel: colleagues

Fabio Somenzi: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player