Sign in

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.

Weilin LuoHai WanHongzhen ZhongOu WeiBiqing FangXiaotong Song
Published in: ICCAD (2021)
Keyphrases
  • objective function
  • relational databases
  • simulated annealing
  • metaheuristic