KIT | KIT-Bibliothek | Impressum | Datenschutz

Reducing the Complexity of Quantified Formulas via Variable Elimination

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

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000039179
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator urn:nbn:de:swb:90-391791
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