EzickLNSSL06'

BibTeX

@inproceedings{DBLP:conf/sc/EzickLNSSL06,
  author    = {James R. Ezick and
               Samuel B. Luckenbill and
               Donald Nguyen and
               Peter Szilagyi and
               John Starks and
               Richard A. Lethin},
  title     = {Poster reception - Alef parallel SAT solver for HPC hardware},
  booktitle = {SC},
  year      = {2006},
  pages     = {179},
  ee        = {http://doi.acm.org/10.1145/1188455.1188640},
  crossref  = {DBLP:conf/sc/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sc/2006,
  title     = {Proceedings of the ACM/IEEE SC2006 Conference on High Performance
               Networking and Computing, November 11-17, 2006, Tampa, FL,
               USA},
  booktitle = {SC},
  publisher = {ACM Press},
  year      = {2006},
  isbn      = {0-7695-2700-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}