Open AccessOBDD variable ordering by interleaving compacted clusters
Author(s) -
Yeh,
Lin -
Publication year - 1995
Publication title -
electronics letters
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.375
H-Index - 146
eISSN - 1350-911X
pISSN - 0013-5194
DOI - 10.1049/el:19951177
Subject(s) - interleaving , benchmark (surveying) , variable (mathematics) , electronic circuit , algorithm , computer science , digital electronics , binary decision diagram , parallel computing , mathematics , engineering , electrical engineering , mathematical analysis , geodesy , geography , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom