Minimum 2CNF Resolution Refutations in Polynomial Time

机译：多项式时间中的最低2CNF分辨率反驳

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present an algorithm for finding a smallest Resolution refutation of any 2CNF in polynomial time.

机译：我们提出了一种用于在多项式时间中找到任何2CNF的最小分辨率驳回算法。

著录项

来源
《International Conference on Theory and Applications of Satisfiability Testing》|2007年||共14页
会议地点
作者
Joshua Buresh-Oppenheim; David Mitchell;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类理论、方法;
关键词

相似文献

外文文献
中文文献
专利

1. Finding read-once resolution refutations in systems of 2CNF clauses [J] . Buening Hans Kleine, Wojciechowski Piotr, Subramani K. Theoretical computer science . 2018,第期

机译：在2CNF条款系统中查找一次性分辨率反驳
2. Polynomial Simulation and Refutation of Complex Formulas of Resolution over Linear Equations in Propositional Proof System [J] . Vishwa Nath Maurya, Avadhesh Kumar Maurya American Journal of Modeling and Optimization . 2014,第1期

机译：命题证明系统中线性方程组分辨率的复杂公式的多项式模拟与反驳。
3. A polynomial time algorithm for the minimum flow problem in time-varying networks [J] . Khodayifar S., Raayatpanah M. A., Pardalos P. M. Annals of Operations Research . 2019,第1a2期

机译：时变网络中最小流量问题的多项式时间算法
4. Minimum 2CNF Resolution Refutations in Polynomial Time [C] . Joshua Buresh-Oppenheim, David Mitchell Theory and Applications of Satisfiability Testing - SAT 2007; Lecture Notes in Computer Science; 4501 . 2007

机译：多项式时间内的最小2CNF分辨率引用
5. A question-answering interpretation of resolution refutation. [D] . Burhans, Debra Thomas. 2002

机译：对分辨率反驳的疑问解答。
6. High-Resolution Images with Minimum Energy Dissipation and Maximum Field-of-View in Camera-Based Wireless Multimedia Sensor Networks [O] . Hadi S. Aghdasi, Pouya Bisadi, Mohsen Ebrahimi Moghaddam, 2009

机译：基于摄像头的无线多媒体传感器网络中具有最小能量消耗和最大视野的高分辨率图像
7. Finding read-once resolution refutations in systems of 2CNF clauses [O] . Hans Kleine Büning, Piotr Wojciechowski, K. Subramani 2018

机译：在2CNF条款系统中查找一次性分辨率反驳

Minimum 2CNF Resolution Refutations in Polynomial Time

摘要

著录项

相似文献

相关主题

期刊订阅