Login / Signup

一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver).

Lujie ZhangChang LiuLong ZhangYang Guo
Published in: 计算机科学 (2019)
Keyphrases
  • sat solvers
  • orders of magnitude
  • objective function
  • satisfiability problem
  • co occurrence
  • constraint satisfaction
  • search strategies
  • sat instances