机译:关于SAT实例类和使用SAT求解器进行可靠性能实验的方法
Department of Computer Science, NC State University, Raleigh, NC 27695, USA;
satisfiability; conjunctive normal form; equivalence classes; experimental design; exponential and heavy-tail distributions; reliability function;
机译:使用模型转换解决复杂问题:从集合建模到SAT实例求解
机译:通过宽度减小和贪婪约束求解最大SAT的稀疏实例
机译:Tts:适用于小型困难实例的Sat求解器
机译:用嵌套的SAT求解求解QBF实例
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:测试焦虑和性能避免目标解释SAT-VSAT-M和整体SAT分数的性别差异
机译:SAT实例类和使用SAT解算器进行可靠性能实验的方法