Solving Satisfiability Problems on FPGAs

Using reconfigurable computing techniques to accelerate problems in the CAD domain: a case study with Boolean satisfiability

DAC '98 Proceedings of the 35th annual Design Automation Conference

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

Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Dynamic fault diagnosis on reconfigurable hardware

Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Concurrent D-algorithm on reconfigurable hardware

ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design

A SAT Solver Using Reconfigurable Hardware and Virtual Logic

Journal of Automated Reasoning

Run-time performance optimization of an FPGA-based deduction engine for SAT solvers

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers

FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications

A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware

FCCM '99 Proceedings of the Seventh Annual IEEE Symposium on Field-Programmable Custom Computing Machines

A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems

FCCM '00 Proceedings of the 2000 IEEE Symposium on Field-Programmable Custom Computing Machines

Propositional Satisfiability and Constraint Programming: A comparative survey

ACM Computing Surveys (CSUR)

Dynamic Fault Diagnosis of Combinational and Sequential Circuits on Reconfigurable Hardware

Journal of Electronic Testing: Theory and Applications