Dipartimento di Informatics e Sistemistica, Universita di Roma "La Sapienza" via Buonarroti 12 - 1-00185 Roma, Italy;
机译:精确选择最小不满意的子公式
机译:通过自适应核搜索逼近最小的不满足子公式
机译:在满意模理论中提取最小的不满意子公式
机译:在满足性情况下发现最小的不可选择的子整形文件
机译:在解决应用程序可满足性实例时发现和利用结构
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:在可满足性实例中查找最小的不满足子公式