Sign in
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.
Xuanxiang Huang
Haipeng Che
Liangda Fang
Qingliang Chen
Quanlong Guan
Yuhui Deng
Kaile Su
Published in:
ICCAD (2020)
Keyphrases
</>
decision diagrams
data sets
objective function
np hard