Disclosed is a configurable hardware system and method for implementing instance-specific (per-formula) SAT-solver circuits. A template design is provided for producing these circuits on a per-formula basis. The typical hardware requirements for implementing the invention makes the design amenable to current or next-generation FPGA implementation. Hardware simulations indicate that for many difficult SAT problems, the system according to the invention can offer one to three orders of magnitude speedup over prior art software implementations.

São divulgados um sistema e um método configurable da ferragem para executar circuitos exemplo-específicos do Sent-sAT-solver (da por-fórmula). Um projeto do molde é fornecido produzindo estes circuitos em uma base da por-fórmula. As exigências de ferragem típicas para executar a invenção fazem o projeto amenable à execução atual ou next-generation de FPGA. As simulações da ferragem indicam aquela para muitos problemas SENTADOS difíceis, o sistema de acordo com a invenção podem oferecer uma a três ordens de execuções do software da arte prévia do excesso do speedup do valor.