无界模型检验相关论文
针对从电路转化而来的SAT问题，通用SAT求解器存在一个缺陷——电路互连信息的缺失，这是造成很多无关推导的根源．文中提出了一个统一的......
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每......
