Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs
Date
2014Source
2014 32nd IEEE International Conference on Computer Design, ICCD 20142014 32nd IEEE International Conference on Computer Design, ICCD 2014
Pages
489-492Google Scholar check