@inproceedings{Chaff,
	title = {Chaff: Engeneering an Efficient {SAT} Solver},
	author = {M.W. Moskewicz and C.F. Madigan and Y. Zhao and L. Zhang and S. Malik},
	booktitle = {Design Automation Conf.},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/2f0eef14add709af163f0ef7e91caaf32/zeno},
	description = {SAT},
	public = {no}, iranote = {AVACS H2}, pdf = {papers/2001/MoskewiczMadiganZhao.pdf}, timestamp = {1065703739}, language = {USenglish},
	keywords = {2001 SAT-solver chaff clause learning }
}