@inproceedings{sheini2006progressive,
   author = {Sheini, Hossein M. and Sakallah, Karem A.},
   title = {{A Progressive Approach for Satisfiability Modulo Theories}},
   booktitle = {Constraints and Verification},
   address = {Isaac Newton Institute for Mathematical Sciences, Cambridge, England},
   month = {May},
   note = {Invited presentation.},
   year = {2006}

}

{"_id":"cvs9cooPoEBNvJjxo","bibbaseid":"sheini-sakallah-aprogressiveapproachforsatisfiabilitymodulotheories-2006","author_short":["Sheini, H. M.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Sheini"],"firstnames":["Hossein","M."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"A Progressive Approach for Satisfiability Modulo Theories","booktitle":"Constraints and Verification","address":"Isaac Newton Institute for Mathematical Sciences, Cambridge, England","month":"May","note":"Invited presentation.","year":"2006","bibtex":"@inproceedings{sheini2006progressive,\n author = {Sheini, Hossein M. and Sakallah, Karem A.},\n title = {{A Progressive Approach for Satisfiability Modulo Theories}},\n booktitle = {Constraints and Verification},\n address = {Isaac Newton Institute for Mathematical Sciences, Cambridge, England},\n month = {May},\n note = {Invited presentation.},\n year = {2006}\n\n}\n\n","author_short":["Sheini, H. M.","Sakallah, K. A."],"key":"sheini2006progressive","id":"sheini2006progressive","bibbaseid":"sheini-sakallah-aprogressiveapproachforsatisfiabilitymodulotheories-2006","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":["progressive","approach","satisfiability","modulo","theories","sheini","sakallah"],"title":"A Progressive Approach for Satisfiability Modulo Theories","year":2006}