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	Adnan Aziz , Serdar Taşiran , Robert K. Brayton, BDD variable ordering for interacting finite state machines, Proceedings of the 31st annual conference on Design automation, p.283-288, June 06-10, 1994, San Diego, California, United States  [doi>10.1145/196244.196379]
	2	H.Touati, I-I.Savoj, B.Lin, R.K.Brayton, A.L.Sangiovanni-Vincentelli. "Implicit State Enumeration of Finite State Machines Using BDDs", In Proceedings of International Conference on Computer-Aided Design, pp.130-133, Nov. 1990.
	3	Richard Rudell, Dynamic variable ordering for ordered binary decision diagrams, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.42-47, November 07-11, 1993, Santa Clara, California, United States
	4	M.Block, C.Gropl, H. Preub, H.J.promel, A. Srivastav. "Efficient Ordering of State Variables and Transition Relation Partitions in Symbolic Model Checking", Submitted to International Conference on Computer-Aided Verification 1998.
	5	Beate Bollig , Ingo Wegener, Improving the Variable Ordering of OBDDs Is NP-Complete, IEEE Transactions on Computers, v.45 n.9, p.993-1002, September 1996  [doi>10.1109/12.537122 ]
	6	B.BoUig, M.Lobbing, I.Wegener. "Variable orderings for OBDDs, simulated annealing, and the hidden weighted bit functiqn. Preprint, Institut fur Informatik, Universitat Dortmund, 1996.
	7	M. R. Mercer , R. Kapur , D. E. Ross, Functional approaches to generating orderings for efficient symbolic representations, Proceedings of the 29th ACM/IEEE conference on Design automation, p.624-627, June 08-12, 1992, Anaheim, California, United States
	8	Don E. Ross , Kenneth M. Butler , Rohit Kapur , M. Ray Mercer, Fast functional evaluation of candidate OBDD variable orderings, Proceedings of the conference on European design automation, February 25-28, 1991, Amsterdam, The Netherlands
	9	Robert K. Brayton , Gary D. Hachtel , Alberto L. Sangiovanni-Vincentelli , Fabio Somenzi , Adnan Aziz , Szu-Tsung Cheng , Stephen A. Edwards , Sunil P. Khatri , Yuji Kukimoto , Abelardo Pardo , Shaz Qadeer , Rajeev K. Ranjan , Shaker Sarwary , Thomas R. Shiple , Gitanjali Swamy , Tiziano Villa, VIS, Proceedings of the First International Conference on Formal Methods in Computer-Aided Design, p.248-256, November 06-08, 1996
	10	Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993
	11	Randal E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, v.35 n.8, p.677-691, Aug. 1986  [doi>10.1109/TC.1986.1676819]
	12	Ilan Beer , Shoham Ben-David , Cindy Eisner , Avner Landver, RuleBase: an industry-oriented formal verification tool, Proceedings of the 33rd annual conference on Design automation, p.655-660, June 03-07, 1996, Las Vegas, Nevada, United States  [doi>10.1145/240518.240642]
	13	Gila Kamhi , Osnat Weissberg , Limor Fix, Automatic Datapath Extraction for Efficient Usage of HDD, Proceedings of the 9th International Conference on Computer Aided Verification, p.95-106, June 22-25, 1997
	14	Gila Kamhi , Limor Fix , Ziv Binyamini, Symbolic Model Checking Visualization, Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, p.290-303, November 04-06, 1998
	15	Detlef Sieling, On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization (Extended Abstract), Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, p.205-215, February 25-27, 1998
	16	C.Berman. "Ordered Binary Decision Diagrams and Circuit Structure", In Proceedings of International Conference on Computer Design, October 1989.
	17	A. Slobodova, Speeding up variable reordering of OBDDs, Proceedings of the 1997 International Conference on Computer Design (ICCD '97), p.338, October 12-15, 1997
	18	Shipra Panda , Fabio Somenzi, Who are the variables in your neighborhood, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.74-77, November 05-09, 1995, San Jose, California, United States
	19	Shipra Panda , Fabio Somenzi , Bernard F. Plessier, Symmetry detection and dynamic variable ordering of decision diagrams, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.628-631, November 06-10, 1994, San Jose, California, United States
	20	ESomenzi. "CUDD: CU Decision Diagram Package. Release 1.1.1. Technical report, University of Colorado, 1996.
	21	Seiichiro Tani , Kiyoharu Hamaguchi , Shuzo Yajima, The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams, Proceedings of the 4th International Symposium on Algorithms and Computation, p.389-398, December 15-17, 1993
	22	John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990

• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet
  
  
• A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
  Kim S. Lee ,  Huizhu Lu ,  D. D. Fisher
  
  
• The GemStone object database management system Communications of the ACM   34, 10
  Paul Butterworth ,  Allen Otis ,  Jacob Stein
  
  
• Putting innovation to work: adoption strategies for multimedia communication systems Communications of the ACM   34, 12
  Ellen Francik ,  Susan Ehrlich Rudman ,  Donna Cooper ,  Stephen Levine
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE conference on Design automation
  Gwo-Dong Chen ,  Daniel D. Gajski