@inproceedings{marquessilva2000boolean,
   author = {Marques-Silva, {J\~oao} and Sakallah, Karem A.},
   title = {{Boolean Satisfiability in Electronic Design Automation}},
   booktitle = {Proc. 37th IEEE/ACM Design Automation Conference (DAC)},
   address = {Los Angeles, California},
   pages = {675-680},
   month = {June},
   year = {2000}
}

{"_id":"niKSaMvrJnifwYai5","bibbaseid":"marquessilva-sakallah-booleansatisfiabilityinelectronicdesignautomation-2000","author_short":["Marques-Silva, J.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Marques-Silva"],"firstnames":["Jõao"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"Boolean Satisfiability in Electronic Design Automation","booktitle":"Proc. 37th IEEE/ACM Design Automation Conference (DAC)","address":"Los Angeles, California","pages":"675-680","month":"June","year":"2000","bibtex":"@inproceedings{marquessilva2000boolean,\n author = {Marques-Silva, {J\\~oao} and Sakallah, Karem A.},\n title = {{Boolean Satisfiability in Electronic Design Automation}},\n booktitle = {Proc. 37th IEEE/ACM Design Automation Conference (DAC)},\n address = {Los Angeles, California},\n pages = {675-680},\n month = {June},\n year = {2000}\n}\n\n","author_short":["Marques-Silva, J.","Sakallah, K. A."],"key":"marquessilva2000boolean","id":"marquessilva2000boolean","bibbaseid":"marquessilva-sakallah-booleansatisfiabilityinelectronicdesignautomation-2000","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["boolean","satisfiability","electronic","design","automation","marques-silva","sakallah"],"title":"Boolean Satisfiability in Electronic Design Automation","year":2000}