@article{92156,
  author = {Sharad Malik and Georg Weissenbacher},
  title = {Boolean satisfiability solvers: techniques and extensions},
  year = {2012},
  journal = {Software Safety and Security-Tools for Analysis and Verification, NATO Science for Peace and Security Series},
  language = {eng},
}