@article{92381,
  author = {Yakir Vizel and Georg Weissenbacher and Sharad Malik},
  title = {Boolean satisfiability solvers and their applications in model checking},
  year = {2015},
  journal = {Proceedings of the IEEE},
  volume = {103},
  pages = {2021{\textendash}2035},
  publisher = {IEEE},
  language = {eng},
}