Task-Based Parallel Programming for Gate Sizing | IEEE Journals & Magazine | IEEE Xplore