首页> 外文OA文献 >On finding all minimally unsatisfiable subformulas

【2h】

On finding all minimally unsatisfiable subformulas

机译：找到所有最低限度不可满足的子公式

页面导航

著录项
相似文献
相关主题

著录项

作者
Mark H. Liffiton; Karem A. Sakallah;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions [J] . Joao Marques-Silva Journal of multiple-valued logic and soft computing . 2012,第1a3期

机译：计算最小不满意的子公式：最新技术和未来方向
2. Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories [J] . Jianmin Zhang, Shengyu Shen, Jun Zhang, Computer Science and Information Systems . 2011,第3期

机译：在满意模理论中提取最小的不满意子公式
3. A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas [J] . Mark Liffiton, Mahcr Mneimnch, Ines Lynce, Constraints . 2009,第4期

机译：分支定界算法，用于提取最小的最小不满足子公式
4. On Finding All Minimally Unsatisfiable Subformulas [C] . Mark H. Liffiton, Karem A. Sakallah International Conference on Theory and Applications of Satisfiability Testing(SAT 2005); 20050619-23; St Andrews(GB) . 2005

机译：找到所有最小不满意的子公式
5. Finding minimal n-power extensions of groups. [D] . Taylor, William D. 2010

机译：查找组的最小n次幂扩展。
6. Acute Kidney Injury Associated with Minimal Change Nephrotic Syndrome in an Elderly Patient Successfully Treated with both Fluid Management and Specific Therapy Based on Kidney Biopsy Findings [O] . Yuko Oyama, Yoichi Iwafuchi, Tetsuo Morioka, 2020

机译：基于肾脏活检发现成功通过液体处理和特异性疗法成功治疗的老年患者急性肾损伤与最小变化肾病综合征
7. A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Subformulas [O] . Mark Liffiton, Maher Mneimneh, Inês Lynce, 2008

机译：最小最小不满足子公式的分支定界算法

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号