David G. Mitchell. A SAT Solver Primer. Bulletin of the EATCS, 85:112-132, 2005.
@article{Mitchell05,
title = {A SAT Solver Primer},
author = {David G. Mitchell},
year = {2005},
researchr = {https://researchr.org/publication/Mitchell05},
cites = {0},
citedby = {0},
journal = {Bulletin of the EATCS},
volume = {85},
pages = {112-132},
}