@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}
}

{"_id":{"_str":"51fbfad4c5b22c3876001167"},"__v":12,"authorIDs":["54593b80b43425b7720003cb","549577aad2d96cd67700174f"],"author_short":["Prasad, M.<nbsp>R.","Biere, A.","Gupta, A."],"bibbaseid":"prasad-biere-gupta-asurveyofrecentadvancesinsatbasedformalverification-2005","bibdata":{"author":["Prasad, Mukul R.","Biere, Armin","Gupta, Aarti"],"author_short":["Prasad, M.<nbsp>R.","Biere, A.","Gupta, A."],"bibtex":"@article{ DBLP:journals/sttt/PrasadBG05,\n author = {Mukul R. Prasad and Armin Biere and Aarti Gupta},\n title = {A survey of recent advances in SAT-based formal verification},\n journal = {STTT},\n pages = {156-173},\n volume = {7},\n number = {2},\n ee = {http://dx.doi.org/10.1007/s10009-004-0183-4},\n year = {2005}\n}","bibtype":"article","ee":"http://dx.doi.org/10.1007/s10009-004-0183-4","id":"DBLP:journals/sttt/PrasadBG05","journal":"STTT","key":"DBLP:journals/sttt/PrasadBG05","number":"2","pages":"156-173","title":"A survey of recent advances in SAT-based formal verification","type":"article","volume":"7","year":"2005","bibbaseid":"prasad-biere-gupta-asurveyofrecentadvancesinsatbasedformalverification-2005","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s10009-004-0183-4"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://data.bibbase.org/author/mukul-r-prasad/?format=bibtex","downloads":0,"keywords":[],"search_terms":["survey","recent","advances","sat","based","formal","verification","prasad","biere","gupta"],"title":"A survey of recent advances in SAT-based formal verification","title_words":["survey","recent","advances","sat","based","formal","verification"],"year":2005,"dataSources":["RefgexYuLDNRssiWs"]}