Login / Signup

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.

Xuanxiang HuangHaipeng CheLiangda FangQingliang ChenQuanlong GuanYuhui DengKaile Su
Published in: ICCAD (2020)
Keyphrases
  • decision diagrams
  • data sets
  • objective function
  • np hard