A SAT Solver Using Software and Reconfigurable Hardware
Iouliia Skliarova, A. Ferrari · Design, Automation, and Test in Europe · 2002
Summary form only given. In this paper we propose a novel approach for solving the Boolean satisfiability problem by combining software and reconfigurable hardware. The suggested technique avoids instance-specific hardware compilation and, as a result, achieves a higher performance than pure software approaches. Moreover, it permits problems that exceed the resources of the available reconfigurable hardware to be solved.