| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. & Malik, S. | Chaff: Engeneering an Efficient SAT Solver [BibTeX] |
2001 | Design Automation Conf. | inproceedings | |
BibTeX:
@inproceedings{Chaff,
author = {M.W. Moskewicz and C.F. Madigan and Y. Zhao and L. Zhang and S. Malik},
title = {Chaff: Engeneering an Efficient SAT Solver},
booktitle = {Design Automation Conf.},
year = {2001}
}
|
|||||
Created by JabRef on 30/08/2008.