M
[Mit05] David G. Mitchell. A SAT Solver Primer. EATCS Bulletin 85:112-132. EATCS, February 2005. 
@article{eatcs-bull85()-Mit,
  author =              {Mitchell, David G.},
  title =               {A {SAT} Solver Primer},
  publisher =           {EATCS},
  journal =             {EATCS Bulletin},
  volume =              {85},
  pages =               {112-132},
  year =                {2005},
  month =               feb,
}
List of authors