Boolean Satisfiability Solvers and Their Applications in Model Checking (bibtex)
by Yakir Vizel, Georg Weissenbacher, Sharad Malik
Reference:
Boolean Satisfiability Solvers and Their Applications in Model CheckingYakir Vizel, Georg Weissenbacher, Sharad MalikProceedings of the IEEE, volume 103, number 11, pages 1-15, November 2015, IEEE.
Bibtex Entry:
@article{VWM15:ProcIEEE,
  author    = {Yakir Vizel and Georg Weissenbacher and Sharad Malik},
  title     = {Boolean Satisfiability Solvers and Their Applications in Model Checking},
  journal   = {Proceedings of the IEEE},
  year      = {2015},
  month     = {November},
  doi       = {10.1109/JPROC.2015.2455034},
  url       = {http://dx.doi.org/10.1109/JPROC.2015.2455034},
  number    = {11},
  volume    = {103},
  publisher = {IEEE},
  pages     = {1--15},
}
Powered by bibtexbrowser