{"_id":"w8Q4ufGxikqep9Eiu","bibbaseid":"elghazi-ulbrich-taghdiri-herda-reducingthecomplexityofquantifiedformulasviavariableelimination","downloads":0,"creationDate":"2015-05-19T00:07:30.015Z","title":"Reducing the Complexity of Quantified Formulas via Variable Elimination","author_short":["El Ghazi, A.<nbsp>A.","Ulbrich, M.","Taghdiri, M.","Herda, M."],"year":null,"bibtype":"inproceedings","biburl":"http://i12www.ira.uka.de/~elghazi/bibTex/a.a.elghazi.bib","bibdata":{"address":"Helsinki, Finland","author":["El Ghazi, Aboubakr Achraf","Ulbrich, Mattias","Taghdiri, Mana","Herda, Mihai"],"author_short":["El Ghazi, A.<nbsp>A.","Ulbrich, M.","Taghdiri, M.","Herda, M."],"bibtex":"@inproceedings{ elghazi:smt2013,\n author = {Aboubakr Achraf {El Ghazi} and\n Mattias Ulbrich and\n Mana Taghdiri and\n Mihai Herda},\n title = {Reducing the Complexity of Quantified Formulas via Variable Elimination},\n booktitle = {11th International Workshop on Satisfiability Modulo Theories (SMT)},\n pages = {87-99},\n address = {Helsinki, Finland}\n}","bibtype":"inproceedings","booktitle":"11th International Workshop on Satisfiability Modulo Theories (SMT)","id":"elghazi:smt2013","key":"elghazi:smt2013","pages":"87-99","title":"Reducing the Complexity of Quantified Formulas via Variable Elimination","type":"inproceedings","bibbaseid":"elghazi-ulbrich-taghdiri-herda-reducingthecomplexityofquantifiedformulasviavariableelimination","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["reducing","complexity","quantified","formulas","via","variable","elimination","el ghazi","ulbrich","taghdiri","herda"],"keywords":[],"authorIDs":["555a771b6fc8205f2b000a8a"],"dataSources":["CnSct3sWobeSAvGgC"]}