Equivalent transformations of structurally synthesized BDDs and applications

statement of authorship
Lembit Jürimägi, Raimund Ubar, Vladimir Viies
source
2019 8th Mediterranean Conference on Embedded Computing (MECO)
location of publication
[S.l.]
publisher
year of publication
pages
6 p. : ill
conference name, date
8th Mediterranean Conference on Embedded Computing - MECO 2019, June 10-14, 2019.
conference location
Budva, Montenegro
keyword
properties of SSBDDs
equivalent transformations of SSBDDs
ISSN
2637-9511
2377-5475
ISBN
978-1-7281-1739-3
notes
Bibliogr.: 36 ref
TTÜ department
language
inglise
Jürimägi, L., Ubar, R., Viies, V. Equivalent transformations of structurally synthesized BDDs and applications // 2019 8th Mediterranean Conference on Embedded Computing (MECO). [S.l.] : IEEE, 2019. 6 p. : ill. https://doi.org/10.1109/MECO.2019.8760283