Search for a command to run...
Article Symbolic model checking using SAT procedures instead of BDDs Share on Authors: A. Biere Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA and Verysys Design Automation, Inc., 42707 Lawrence Place, Fremont, CA Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA and Verysys Design Automation, Inc., 42707 Lawrence Place, Fremont, CAView Profile , A. Cimatti Istituto per la Ricerca Scientifica e Tecnolgica (IRST), via Sommarive 18, 38055 Povo (TN), Italy Istituto per la Ricerca Scientifica e Tecnolgica (IRST), via Sommarive 18, 38055 Povo (TN), ItalyView Profile , E. M. Clarke Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA and Verysys Design Automation, Inc., 42707 Lawrence Place, Fremont, CA Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA and Verysys Design Automation, Inc., 42707 Lawrence Place, Fremont, CAView Profile , M. Fujita Fujitsu Laboratories of America, Inc., 595 Lawrence Expressway, Sunnyvale, CA Fujitsu Laboratories of America, Inc., 595 Lawrence Expressway, Sunnyvale, CAView Profile , Y. Zhu Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA and Verysys Design Automation, Inc., 42707 Lawrence Place, Fremont, CA Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA and Verysys Design Automation, Inc., 42707 Lawrence Place, Fremont, CAView Profile Authors Info & Claims DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation ConferenceJune 1999 Pages 317–320https://doi.org/10.1145/309847.309942Online:01 June 1999Publication History 274citation1,357DownloadsMetricsTotal Citations274Total Downloads1,357Last 12 Months59Last 6 weeks5 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access