Schmiedle, Frank; Günther, Wolfgang; Drechsler, Rolf Dynamic re-encoding during MDD minimization. (English) Zbl 1040.68029 Mult.-Valued Log. 8, No. 5-6, 625-643 (2002). MSC: 68P05 × Cite Format Result Cite Review PDF Full Text: DOI
Drechsler, Rolf; Keim, Martin; Becker, Bernd Fault simulation in multi-valued logic networks. (English) Zbl 1015.94554 Mult.-Valued Log. 7, No. 1-2, 25-47 (2001). MSC: 94C12 68U20 × Cite Format Result Cite Review PDF
Drechsler, Rolf; Miller, D. Michael Decision diagrams in multi-valued logic. (English) Zbl 1025.94514 Mult.-Valued Log. 4, No. 1-2, 1-8 (1998). MSC: 94C10 94-02 × Cite Format Result Cite Review PDF
Drechsler, R. (ed.); Miller, D. M. (ed.) Special issue: Decision diagrams. (English) Zbl 0944.00013 Mult.-Valued Log. 4, No. 1-2, 158 p. (1998). MSC: 00B15 03-06 × Cite Format Result Cite Review PDF