EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition | IEEE Journals & Magazine | IEEE Xplore