A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware

Abstract

Article A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware Share on Authors: Miron Abramovici Bell Labs - Lucent Technologies, Murray Hill, NJ Bell Labs - Lucent Technologies, Murray Hill, NJView Profile , Jose T. de Sousa Bell Labs - Lucent Technologies, Murray Hill, NJ Bell Labs - Lucent Technologies, Murray Hill, NJView Profile , Daniel Saab Case Western Reserve University, Cleveland, Ohio Case Western Reserve University, Cleveland, OhioView Profile Authors Info & Claims DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation ConferenceJune 1999 Pages 684–690https://doi.org/10.1145/309847.310028Online:01 June 1999Publication History 11citation298DownloadsMetricsTotal Citations11Total Downloads298Last 12 Months0Last 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