From Propositional Satisfiability to Satisfiability Modulo Theories. Sheini, H. M. & Sakallah, K. A. In 9th International Conference on Theory and Applications of Satisfiability Testing (SAT06), volume LNCS 4121, pages 1-9, Seattle, Washington, August, 2006. Springer-Verlag. Invited paper.bibtex @inproceedings{sheini2006from,
author = {Sheini, Hossein M. and Sakallah, Karem A.},
title = {{From Propositional Satisfiability to Satisfiability Modulo Theories}},
booktitle = {9th International Conference on Theory and Applications of Satisfiability Testing (SAT06)},
address = {Seattle, Washington},
publisher = {Springer-Verlag},
volume = {LNCS 4121},
pages = {1-9},
month = {August},
note = {Invited paper.},
year = {2006}
}
Downloads: 0
{"_id":"3btqP9ApptPHYH6bC","bibbaseid":"sheini-sakallah-frompropositionalsatisfiabilitytosatisfiabilitymodulotheories-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":"From Propositional Satisfiability to Satisfiability Modulo Theories","booktitle":"9th International Conference on Theory and Applications of Satisfiability Testing (SAT06)","address":"Seattle, Washington","publisher":"Springer-Verlag","volume":"LNCS 4121","pages":"1-9","month":"August","note":"Invited paper.","year":"2006","bibtex":"@inproceedings{sheini2006from,\n author = {Sheini, Hossein M. and Sakallah, Karem A.},\n title = {{From Propositional Satisfiability to Satisfiability Modulo Theories}},\n booktitle = {9th International Conference on Theory and Applications of Satisfiability Testing (SAT06)},\n address = {Seattle, Washington},\n publisher = {Springer-Verlag},\n volume = {LNCS 4121},\n pages = {1-9},\n month = {August},\n note = {Invited paper.},\n year = {2006}\n}\n\n","author_short":["Sheini, H. M.","Sakallah, K. A."],"key":"sheini2006from","id":"sheini2006from","bibbaseid":"sheini-sakallah-frompropositionalsatisfiabilitytosatisfiabilitymodulotheories-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":["propositional","satisfiability","satisfiability","modulo","theories","sheini","sakallah"],"title":"From Propositional Satisfiability to Satisfiability Modulo Theories","year":2006}