...

首页> 外文期刊>Journal on Satisfiability, Boolean Modeling and Computation >The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas

【24h】

The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas

机译：最小不满足公式的某些子类的复杂性

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Journal on Satisfiability, Boolean Modeling and Computation》 |2007年第1期|共17页
作者
Hans Kleine Büning; Xishun Zhao.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类算法理论;
关键词

相似文献

外文文献
中文文献
专利

1. On subclasses of minimal unsatisfiable formulas [J] . Buning HK. Discrete Applied Mathematics . 2000,第1a3期

机译：关于最小不满足公式的子类
2. On the complexity of computing minimal unsatisfiable LTL formulas [J] . Lakhdar Sa?s, Mohand-Sa?d Hacid, francois hantry Electronic Colloquium on Computational Complexity . 2012,第136期

机译：关于计算最小不满足LTL公式的复杂性
3. On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances [J] . De Haan Ronald, Kanj Iyad, Szeider Stefan ACM transactions on computational logic . 2017,第3期

机译：寻找CNF公式和CSP实例的不满足子集的参数化复杂性
4. An Algorithm to Compute Minimal Unsatisfiable Subsets for a Decidable Fragment of First-Order Formulas [C] . Huiyuan Xie, Jie Luo IEEE International Conference on Tools with Artificial Intelligence . 2016

机译：计算一阶公式可确定片段的最小不满足子集的算法
5. COMPUTATIONAL COMPLEXITY OF LOGICAL PROBLEMS: FORMULAS, DEPENDENCIES, AND CIRCUITS (RELATIONAL DATABASE, KROM, EMBEDDED MULTIVALUED, DEPENDENCY) [D] . DENENBERG, LAWRENCE ALAN 1984

机译：逻辑问题的计算复杂性：公式，依赖关系和电路（关系数据库，KROM，嵌入式多值，依赖关系）
6. Search for minimal supersymmetric standard model Higgs Bosons H / A and for a ... formula ... boson in the ... formula ... final state produced in pp collisions at ... formula ... TeV with the ATLAS detector [O] . M. Aaboud, G. Aad, B. Abbott, -1

机译：搜索最小超对称标准模型希格斯玻色子H / A并寻找在...公式... pp碰撞中产生的...公式...最终状态的...公式...玻色子TeV与ATLAS探测器
7. On subclasses of minimal unsatisfiable formulas [O] . Büning Hans Kleine 2000

机译：关于最小不满足公式的子类

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号