DBLP Record 'conf/fccm/ZhongMAM98'

BibTeX

@inproceedings{DBLP:conf/fccm/ZhongMAM98,
  author    = {Peixin Zhong and
               Margaret Martonosi and
               Pranav Ashar and
               Sharad Malik},
  title     = {Accelerating Boolean Satisfiability with Configurable Hardware},
  booktitle = {FCCM},
  year      = {1998},
  pages     = {186-195},
  ee        = {http://csdl.computer.org/dl/proceedings/fccm/1998/8900/00/89000186.pdf},
  crossref  = {DBLP:conf/fccm/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fccm/1998,
  title     = {6th IEEE Symposium on Field-Programmable Custom Computing
               Machines (FCCM '98), 15-17 April 1998, Napa Valley, CA,
               USA},
  booktitle = {FCCM},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-8186-8900-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}