Boolean functions; Logic gates; Combinational circuits; Automatic test pattern generation; Periodic structures; Data preprocessing; Binary decision diagrams;
机译:使用SAT求解器在功能近似电路中的错误度量测定
机译:基于Tableau方法的电路SAT解算器
机译:基于Tableau方法的电路SAT解算器
机译:使用结构信息增强所有解决方案求解电路
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:使用SAT-SOLVERS来导出掩模节点故障和木马电路注入的贴片电路
机译:增加用于网络配置/规划的saT求解器