Hiding propositional constants in BDDs

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Formal methods in system design 1996-01, Vol.8 (1), p.91-96
1. Verfasser: Groote, Jan Friso
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0925-9856
1572-8102
DOI:10.1007/BF00121264