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}
}
Copyright © 2007-02-14 by Michael Ley (ley@uni-trier.de)