ChanBGKKKMSSTWXZ99'

@inproceedings{DBLP:conf/fccm/ChanBGKKKMSSTWXZ99,
  author    = {Pak K. Chan and
               Mark J. Boyd and
               Sezer G{\"o}ren and
               K. Klenk and
               V. Kodavati and
               R. Kundu and
               M. Margolese and
               J. Sun and
               K. Suzuki and
               E. Thorne and
               X. Wang and
               J. Xu and
               M. Zhu},
  title     = {Reducing Compilation Time of Zhong's FPGA-Based SAT Solver},
  booktitle = {FCCM},
  year      = {1999},
  pages     = {308-309},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/FPGA.1999.803709},
  crossref  = {DBLP:conf/fccm/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fccm/1999,
  title     = {7th IEEE Symposium on Field-Programmable Custom Computing
               Machines (FCCM '99), 21-23 April 1999, Napa, CA, USA},
  booktitle = {FCCM},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0375-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}