Lower Bounds of the Size of Shared Structurally Synthesized BDDs

Mironov, Dmitri; Ubar, Raimund (2014). Lower Bounds of the Size of Shared Structurally Synthesized BDDs. In: IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) (1−6).. Warsaw, Poland: IEEE Computer Society.
kogumikuartikkel/peatükk raamatus/kogumikus
Mironov, Dmitri; Ubar, Raimund
  • Inglise
IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)
Warsaw, Poland
IEEE Computer Society
2014
16
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile