Accelerating Boolean Satisfiability with Configurable Hardware

String matching on multicontext FPGAs using self-reconfiguration

FPGA '99 Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays

Dynamic Reconfiguration to Support Concurrent Applications

IEEE Transactions on Computers

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

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

A benchmark suite for evaluating configurable computing systems—status, reflections, and future directions

FPGA '00 Proceedings of the 2000 ACM/SIGDA eighth international symposium on Field programmable gate arrays

Automatic Target Recognition with Dynamic Reconfiguration

Journal of VLSI Signal Processing Systems

Runtime and quality tradeoffs in FPGA placement and routing

FPGA '01 Proceedings of the 2001 ACM/SIGDA ninth international symposium on Field programmable gate arrays

Reconfigurable computing: a survey of systems and software

ACM Computing Surveys (CSUR)

Automated design synthesis and partitioning for adaptive reconfigurable hardware

Hardware implementation of intelligent systems

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)

A Parallel Pipelined SAT Solver for FPGAs

FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications

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

Very Large Scale Spatial Computing

UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation

Reducing Compilation Time of Zhong's FPGA-Based SAT Solver

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

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

The design and implementation of a reconfigurable processor for problems of combinatorial computation

Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable systems

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

A field programmable gate array media player for realmedia files

Journal of Computing Sciences in Colleges

FPGA-based hardware acceleration for Boolean satisfiability

ACM Transactions on Design Automation of Electronic Systems (TODAES)

The input-aware dynamic adaptation of area and performance for reconfigurable accelerator

Proceedings of the ACM/SIGDA international symposium on Field programmable gate arrays

Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation

Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation