Abstract:
This paper presents an implementation of the configware/software SAT solver proposed in de Sousa, Abramovici and da Silva (2001). This is the first actually implemented h...Show MoreMetadata
Abstract:
This paper presents an implementation of the configware/software SAT solver proposed in de Sousa, Abramovici and da Silva (2001). This is the first actually implemented hardware accelerated solver that can dispense with instance-specific compilation, and is capable of handling SAT formulas of virtually any size.
Published in: Proceedings. 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines
Date of Conference: 24-24 April 2002
Date Added to IEEE Xplore: 06 January 2003
Print ISBN:0-7695-1801-X
Contents 