KIT | KIT-Bibliothek | Impressum | Datenschutz

EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas

Tveretina, O.; Wesselink, W.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2009
Sprache Englisch
Identifikator ISSN: 1571-0661
KITopen-ID: 1000028428
Erschienen in Journal Electronic Notes in Theoretical Computer Science
Band 25
Seiten 405-420
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page