首页> 外文OA文献 >On a p-Optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT)

【2h】

On a p-Optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT)

机译：关于所有可满足布尔公式（saT）集的p-最优证明系统

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zenon Sadowski;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle [J] . Titus Dose LIPIcs : Leibniz International Proceedings in Informatics . 2019,第29期

机译：每个NP集的P最优证明系统，但没有相对于Oracle的完全不相交的NP对
2. The Helly property and satisfiability of Boolean formulas defined on set families [J] . Chepoi V, Creignou N, Hermann M, European journal of combinatorics . 2010,第2期

机译：在集合族上定义的布尔公式的Helly属性和可满足性
3. Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver [J] . Naumowicz Adam Journal of Automated Reasoning . 2015,第3期

机译：借助外部SAT解算器在Mizar证明检查中自动执行布尔集操作
4. On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT) [C] . Zenon Sadowski International Conference on Machines, Computations, and Universality . 2001

机译：在所有可满足布尔公式（SAT）集的P-最优证明系统上
5. Pseudo-Boolean satisfiability and quantified Boolean formulas in CAD for VLSI [D] . Mangassarian, Hratch 2008

机译：VLSI CAD中的伪布尔可满足性和量化布尔公式
6. SPABBATS: A pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants [O] . Lope A Flórez, Katrin Gunka, Rafael Polanía, 2011

机译：SPABBATS：一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
7. The Helly property and satisfiability of Boolean formulas defined on set families [O] . Chepoi Victor, Creignou Nadia, Hermann Miki, 2010

机译：在集合族上定义的布尔公式的Helly属性和可满足性
8. Proof of Satisfiability in Mukherjee and Stavridou's Ammunition Control System [R] . Fitzgerald, J. S. 1998

机译：mukherjee和stavridou弹药控制系统的可满足性证明

On a p-Optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT)

著录项

引文网络

相似文献

相关主题

期刊订阅