A survey of recent advances in SAT-based formal verification. Prasad, M. R., Biere, A., & Gupta, A. STTT, 7(2):156-173, 2005.
A survey of recent advances in SAT-based formal verification [link]Link  bibtex   
@article{ DBLP:journals/sttt/PrasadBG05,
  author = {Mukul R. Prasad and Armin Biere and Aarti Gupta},
  title = {A survey of recent advances in SAT-based formal verification},
  journal = {STTT},
  pages = {156-173},
  volume = {7},
  number = {2},
  ee = {http://dx.doi.org/10.1007/s10009-004-0183-4},
  year = {2005}
}

Downloads: 0