@inproceedings{ DBLP:conf/cav/WilliamsBCG00,
  author    = {Poul Frederick Williams and Armin Biere and Edmund M. Clarke and Anubhav Gupta},
  title     = {Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking},
  booktitle   = {Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  pages   = {124-138} ,
  year   = {2000}
}

{"_id":{"_str":"520982e7a9e4b91d2f0002d4"},"__v":11,"authorIDs":["54593b80b43425b7720003cb","548485389caf65162e000056"],"author_short":["Williams, P. F.","Biere, A.","Clarke, E. M.","Gupta, A."],"bibbaseid":"williams-biere-clarke-gupta-combiningdecisiondiagramsandsatproceduresforefficientsymbolicmodelchecking-2000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Poul","Frederick"],"propositions":[],"lastnames":["Williams"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]},{"firstnames":["Edmund","M."],"propositions":[],"lastnames":["Clarke"],"suffixes":[]},{"firstnames":["Anubhav"],"propositions":[],"lastnames":["Gupta"],"suffixes":[]}],"title":"Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking","booktitle":"Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings","pages":"124-138","year":"2000","bibtex":"@inproceedings{ DBLP:conf/cav/WilliamsBCG00,\n author = {Poul Frederick Williams and Armin Biere and Edmund M. Clarke and Anubhav Gupta},\n title = {Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking},\n booktitle = {Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},\n pages = {124-138} ,\n year = {2000}\n}\n\n\n","author_short":["Williams, P. F.","Biere, A.","Clarke, E. M.","Gupta, A."],"key":"DBLP:conf/cav/WilliamsBCG00","id":"DBLP:conf/cav/WilliamsBCG00","bibbaseid":"williams-biere-clarke-gupta-combiningdecisiondiagramsandsatproceduresforefficientsymbolicmodelchecking-2000","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/edmund-m-clarke/?format=bibtex","downloads":0,"keywords":[],"search_terms":["combining","decision","diagrams","sat","procedures","efficient","symbolic","model","checking","williams","biere","clarke","gupta"],"title":"Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking","title_words":["combining","decision","diagrams","sat","procedures","efficient","symbolic","model","checking"],"year":2000,"dataSources":["4LJp4p5QNiMTwekwe"]}