On implementing a configware/software SAT solver

IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings

Volumn 2002-January, Issue , 2002, Pages 282-283

  Reis, N A ^a   De Sousa, J T ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS; MODEL CHECKING;

CONFIGWARE; HARDWARE-ACCELERATED; SAT SOLVERS;

FORMAL LOGIC;

EID: 8744279866     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FPGA.2002.1106685     Document Type: Conference Paper

References (1)

1. J. T. de Sousa, M. Abramovici and J. M. da Silva. A Configware/Software Approach to SAT solving. In IEEE Symposium on FPGAs for Custom Computing Machines, May 2001.