机译:精确选择最小不满意的子公式
Dipartimento di Informatica e Sistemistica, Universita di Roma 'La Sapienza', Via Buonarroti 12, 00185 Roma, Italy;
infeasibility analysis; MUS selection; (Un)satisfiability;
机译:通过自适应核搜索逼近最小的不满足子公式
机译:使用最小不可匹配和遗传算法的云服务组成
机译:支持不可挑例的2-CNFS的完整最小简单图表集
机译:在可满足性实例中查找最小的不满足子公式
机译:解决视图和索引选择问题以提高OLAP性能的精确方法和不精确方法
机译:随机生物网络上循环约束的潜在不满足性将选择偏向于层次结构
机译:通过自适应核搜索逼近最小不满足子公式
机译:准确的电磁矩阵元素和氢原子的精确选择规则