@inproceedings{moskewicz2001chaff,
author = {Moskewicz, Matthew W and Madigan, Conor F and Zhao, Ying and Zhang, Lintao and Malik, Sharad},
booktitle = {Proceedings of the 38th annual Design Automation Conference},
date-added = {2020-11-15 23:36:57 -0800},
date-modified = {2020-11-15 23:36:57 -0800},
pages = {530--535},
title = {Chaff: Engineering an efficient SAT solver},
year = {2001},
bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAfcGFwZXJzL21vc2tld2ljejIwMDFjaGFmZi1hLnBkZk8RAYYAAAAAAYYAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xhtb3NrZXdpY3oyMDAxY2hhZmYtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAPi86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6bW9za2V3aWN6MjAwMWNoYWZmLWEucGRmAA4AMgAYAG0AbwBzAGsAZQB3AGkAYwB6ADIAMAAwADEAYwBoAGEAZgBmAC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAPFVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL21vc2tld2ljejIwMDFjaGFmZi1hLnBkZgATAAEvAAAVAAIAD///AAAACAANABoAJABGAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAdA=}
}