%0 Conference Paper %1 Chaff %A Moskewicz, M.W. %A Madigan, C.F. %A Zhao, Y. %A Zhang, L. %A Malik, S. %B Design Automation Conf. %D 2001 %K 2001 SAT-solver chaff clause learning %T Chaff: Engeneering an Efficient SAT Solver

@inproceedings{Chaff, added-at = {2007-05-25T13:58:36.000+0200}, author = {Moskewicz, M.W. and Madigan, C.F. and Zhao, Y. and Zhang, L. and Malik, S.}, biburl = {https://www.bibsonomy.org/bibtex/2f0eef14add709af163f0ef7e91caaf32/zeno}, booktitle = {Design Automation Conf.}, description = {SAT}, interhash = {f8a5af060fee0a712e93e6f2b7a26117}, intrahash = {f0eef14add709af163f0ef7e91caaf32}, iranote = {AVACS H2}, keywords = {2001 SAT-solver chaff clause learning}, language = {USenglish}, pdf = {papers/2001/MoskewiczMadiganZhao.pdf}, public = {no}, timestamp = {2007-07-26T08:29:58.000+0200}, title = {Chaff: Engeneering an Efficient {SAT} Solver}, year = 2001 }