On Implementing a Configware/Software SAT Solver

Authors:
N. A. Reis;J. T. de Sousa
Affiliations:
-;-
Venue:
FCCM '02 Proceedings of the 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines
Year:
2002

Citing 0
Cited 3

Reconfigurable Hardware SAT Solvers: A Survey of Systems

IEEE Transactions on Computers
Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver

Proceedings of the conference on Design, automation and test in Europe
A hardware relaxation paradigm for solving NP-hard problems

VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an implementation of the configware/software SAT solver proposed in FCCM'01 [1]. 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.