Computer Science, Technion, Haifa, Israel;
机译:HaifaSat:基于抽象/精炼模型的SAT求解器
机译:HaifaSat:基于抽象/精炼模型的SAT求解器。
机译:BerkMin:快速而强大的卫星求解器
机译:Haifasat:一种新的强大的SAT Solver
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:Haifasat:一个新的强大的saT求解器
机译:saT和(数字符号)saT的推广用于稳健的政策评估