KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-391791

Reducing the Complexity of Quantified Formulas via Variable Elimination

El Ghazi, A. A.; Ulbrich, M.; Taghdiri, M.; Herda, M.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator KITopen ID: 1000039179
Erschienen in 11th International Workshop on Satisfiability Modulo Theories (SMT'13), Helsinki, Finland, July 8-9, 2013
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page