{"_id":"rPoTBqjBw7mGS6MtJ","bibbaseid":"ghazi-el-ulbrich-taghdiri-herda-reducingthecomplexityofquantifiedformulasviavariableelimination-2014","downloads":0,"creationDate":"2015-05-18T23:27:44.970Z","title":"Reducing the Complexity of Quantified Formulas via Variable Elimination.","author_short":["Ghazi","El, A.<nbsp>A.","Ulbrich, M.","Taghdiri, M.","Herda, M."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/aboubakr achraf el ghazi?items=1000","bibdata":{"added-at":"2014-09-12T00:00:00.000+0200","author":["Ghazi","El, Aboubakr Achraf","Ulbrich, Mattias","Taghdiri, Mana","Herda, Mihai"],"author_short":["Ghazi","El, A.<nbsp>A.","Ulbrich, M.","Taghdiri, M.","Herda, M."],"bibtex":"@article{ journals/corr/GhaziUTH14,\n added-at = {2014-09-12T00:00:00.000+0200},\n author = {Ghazi, Aboubakr Achraf El and Ulbrich, Mattias and Taghdiri, Mana and Herda, Mihai},\n biburl = {http://www.bibsonomy.org/bibtex/26c430721e4e510c95cc1a026898b244c/dblp},\n ee = {http://arxiv.org/abs/1408.0700},\n interhash = {25d1b8159c28d3a26cc328fef20a586a},\n intrahash = {6c430721e4e510c95cc1a026898b244c},\n journal = {CoRR},\n keywords = {dblp},\n title = {Reducing the Complexity of Quantified Formulas via Variable Elimination.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1408.html#GhaziUTH14},\n volume = {abs/1408.0700},\n year = {2014}\n}","bibtype":"article","biburl":"http://www.bibsonomy.org/bibtex/26c430721e4e510c95cc1a026898b244c/dblp","ee":"http://arxiv.org/abs/1408.0700","id":"journals/corr/GhaziUTH14","interhash":"25d1b8159c28d3a26cc328fef20a586a","intrahash":"6c430721e4e510c95cc1a026898b244c","journal":"CoRR","key":"journals/corr/GhaziUTH14","keywords":"dblp","title":"Reducing the Complexity of Quantified Formulas via Variable Elimination.","type":"article","url":"http://dblp.uni-trier.de/db/journals/corr/corr1408.html#GhaziUTH14","volume":"abs/1408.0700","year":"2014","bibbaseid":"ghazi-el-ulbrich-taghdiri-herda-reducingthecomplexityofquantifiedformulasviavariableelimination-2014","role":"author","urls":{"Link":"http://arxiv.org/abs/1408.0700","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1408.html#GhaziUTH14"},"keyword":["dblp"],"downloads":0},"search_terms":["reducing","complexity","quantified","formulas","via","variable","elimination","ghazi","el","ulbrich","taghdiri","herda"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CXToTPH3EsSmCdgzK"]}