Local Two-Level And-Inverer Graph Minimization without Blowup
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), Mikulov, Czechia
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
And-Inverter Graphs (AIGs) are an efficient and scalable
representation for boolean formulas and circuits. We present a maximal
set of rules for local two-level optimization of AIGs. This set consists of
rules which can be applied before node creation greedily without affecting
structural sharing negatively. We implemented these techniques in the
AIG library of our tool SMV2QBF and report on experimental results
in the context of SAT based model checking.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Vortrag auf einer Tagung (referiert)
Vortragsdatum:
28.10.2006
Vortragsort:
Tschechische Republik
Details zum Vortragsort:
2nd Doctoral Wo on Mathematical & Engineering Methods in Computer Science Mikulov
Forschungs-