P. Zhong, M. Martonosi, P. Ashar, S. Malik, "Accelerating Boolean Satisfiability with Configurable Hardware," Field-Programmable Custom Computing Machines, Annual IEEE Symposium on, pp. 186, IEEE Symposium on FPGAs for Custom Computing Machines, 1998.

@article{ 10.1109/FPGA.1998.707896,
author = {P. Zhong and M. Martonosi and P. Ashar and S. Malik},
title = {Accelerating Boolean Satisfiability with Configurable Hardware},
journal ={Field-Programmable Custom Computing Machines, Annual IEEE Symposium on},
volume = {0},
year = {1998},
issn = {1082-3409},
pages = {186},
doi = {http://doi.ieeecomputersociety.org/10.1109/FPGA.1998.707896},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Field-Programmable Custom Computing Machines, Annual IEEE Symposium on
TI - Accelerating Boolean Satisfiability with Configurable Hardware
SN - 1082-3409
SP
EP
A1 - P. Zhong,
A1 - M. Martonosi,
A1 - P. Ashar,
A1 - S. Malik,
PY - 1998
VL - 0
JA - Field-Programmable Custom Computing Machines, Annual IEEE Symposium on
ER -