![](/img/cover-not-exists.png)
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques
Cabodi, Gianpiero, Lavagno, Luciano, Murciano, Marco, Kondratyev, Alex, Watanabe, YosinoriVolume:
15
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/1698759.1698762
Date:
February, 2010
File:
PDF, 1.19 MB
english, 2010