Hiding Propositional Constants in BDDs

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	91-96
Number of pages	6
Journal	Formal Methods in System Design
Volume	8
Issue number	1
DOIs	https://doi.org/10.1007/BF00121264
Publication status	Published - 1996
Externally published	Yes

Access to Document

@article{bcd6f47fe1074d2a8baf495457b84cab,

title = "Hiding Propositional Constants in BDDs",

author = "Groote, \{Jan Friso\}",

year = "1996",

doi = "10.1007/BF00121264",

language = "English",

volume = "8",

pages = "91--96",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "1",

}