Login / Signup
New & improved models for SAT-based bi-decomposition.
Huan Chen
João Marques-Silva
Published in:
ACM Great Lakes Symposium on VLSI (2012)
Keyphrases
</>
special case
optimal solution
directed acyclic graph