A Progressive Simplifier for 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 184-197, Seattle, Washington, August, 2006. Springer-Verlag. bibtex @inproceedings{sheini2006aprogressive,
author = {Sheini, Hossein M. and Sakallah, Karem A.},
title = {{A Progressive Simplifier for 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 = {184-197},
month = {August},
year = {2006}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 2005
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Downloads: 0
{"_id":"J7nrmg5uCif9jstHT","bibbaseid":"sheini-sakallah-aprogressivesimplifierforsatisfiabilitymodulotheories-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 Simplifier for 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":"184-197","month":"August","year":"2006","bibtex":"@inproceedings{sheini2006aprogressive,\n author = {Sheini, Hossein M. and Sakallah, Karem A.},\n title = {{A Progressive Simplifier for 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 = {184-197},\n month = {August},\n year = {2006}\n}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n% 2005\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n","author_short":["Sheini, H. M.","Sakallah, K. A."],"key":"sheini2006aprogressive","id":"sheini2006aprogressive","bibbaseid":"sheini-sakallah-aprogressivesimplifierforsatisfiabilitymodulotheories-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","simplifier","satisfiability","modulo","theories","sheini","sakallah"],"title":"A Progressive Simplifier for Satisfiability Modulo Theories","year":2006}