loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'02)
Napa, California
September 22-September 24
ISBN: 0-7695-1801-X
ASCII Text
x 
 
N. A. Reis, J. T. de Sousa, "On Implementing a Configware/Software SAT Solver," Field-Programmable Custom Computing Machines, Annual IEEE Symposium on, pp. 282, 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/FPGA.2002.1106685,
author = {N. A. Reis and J. T. de Sousa},
title = {On Implementing a Configware/Software SAT Solver},
journal ={Field-Programmable Custom Computing Machines, Annual IEEE Symposium on},
volume = {0},
year = {2002},
issn = {1082-3409},
pages = {282},
doi = {http://doi.ieeecomputersociety.org/10.1109/FPGA.2002.1106685},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Field-Programmable Custom Computing Machines, Annual IEEE Symposium on
TI - On Implementing a Configware/Software SAT Solver
SN - 1082-3409
SP
EP
A1 - N. A. Reis,
A1 - J. T. de Sousa,
PY - 2002
KW - null
VL - 0
JA - Field-Programmable Custom Computing Machines, Annual IEEE Symposium on
ER -
 
N. A. Reis, Technical University of Lisbon
J. T. de Sousa, Technical University of Lisbon
This paper presents an implementation of the configware/software SAT solver proposed in FCCM'01 [1]. This is the first actually implemented hardware accelerated solver that can dispense with instance-specific compilation, and is capable of handling SAT formulas of virtually any size.
Citation:
N. A. Reis, J. T. de Sousa, "On Implementing a Configware/Software SAT Solver," fccm, pp.282, 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.