机译:使用启发式方法在可满足性问题中找到最小的不满足子公式
Ecole Polytechnique and GERAD Montreal Canada;
Ecole Polytechnique and CRT Montreal Canada;
Ecole Polytechnique and GERAD Montreal Canada;
Ecole Polytechnique and GERAD Montreal Canada;
Satisfiability; Heuristics; Minimal unsatisfiable subformulas (MUS);
机译:使用试探法在可满足性问题中找到最小的不满足子公式
机译:在满意模理论中提取最小的不满意子公式
机译:计算最小不满意的子公式:最新技术和未来方向
机译:找到所有最小不满意的子公式
机译:命题和量化可满足性的复杂性和结构启发法。
机译:满足性问题的启发式算法的比较运行时分析
机译:最小最小不满足子公式的分支定界算法
机译:三个可满足性问题的两种启发式概率分析