@article{92286,
  author = {Georg Weissenbacher and Pramod Subramanyan and Sharad Malik},
  title = {Boolean Satisfiability: Solvers and Extensions.},
  year = {2014},
  journal = {Software Systems Safety},
  volume = {36},
  pages = {223},
  language = {eng},
}