Representing circuits more efficiently in symbolic model checking

Article Representing circuits more efficiently in symbolic model checking Share on Authors: J. R. Burch School of Computer Science, Carnegie Mellon University School of Computer Science, Carnegie Mellon UniversityView Profile , E. M. Clarke School of Computer Science, Carnegie Mellon University School of Computer Science, Carnegie Mellon UniversityView Profile , D. E. Long School of Computer Science, Carnegie Mellon University School of Computer Science, Carnegie Mellon UniversityView Profile Authors Info & Claims DAC '91: Proceedings of the 28th ACM/IEEE Design Automation ConferenceJune 1991 Pages 403–407https://doi.org/10.1145/127601.127702Online:01 June 1991Publication History 134citation365DownloadsMetricsTotal Citations134Total Downloads365Last 12 Months6Last 6 weeks0 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