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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
P. Zhong, M. Martonosi, P. Ashar, S. Malik, "Accelerating Boolean Satisfiability with Configurable Hardware," fccm, pp.186, IEEE Symposium on FPGAs for Custom Computing Machines, 1998