@misc{92166,
  author = {Georg Weissenbacher and Sharad Malik},
  title = {Boolean Satisfiability Solvers: Techniques and Extensions.},
  year = {2012},
  language = {eng},
}