Minimal False Quantified Boolean Formulas

机译：最小的假量化布尔公式

获取原文

页面导航

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

摘要

This paper is concerned with the minimal falsity problem MF for quantified Boolean formulas. A QCNF formula (i.e., with CNF-matrix) is called minimal false, if the formula is false and any proper subformula is true. It is shown that the minimal falsity problem is PSPACE-complete. Then the deficiency of a QCNF formula is defined as the difference between the number of clauses and the number of exis-tentially quantified variables. For quantified Boolean formulas with deficiency one, MF is solvable in polynomial time.

机译：本文涉及量化布尔公式的最小虚假问题MF。如果公式是假的，则称为QCNF公式（即，具有CNF矩阵）的QCNF公式（即，具有CNF-Matrix），并且任何适当的子格式为真。结果表明，最小的虚假问题是PSPace完整的。然后，QCNF公式的缺陷被定义为子项数量与突出的量化变量的数量之间的差异。对于缺乏缺陷的量化布尔公式，MF可在多项式时间中可溶。

著录项

来源
《International Conference on Theory and Applications of Satisfiability Testing - SAT》|2006年||共14页
会议地点
作者
Hans Kleine Buening; Xishun Zhao;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Fractional integral inequalities for generalized- m documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$mathbf{m }$$end{document} - ( ( h 1 p , h 2 q ) ? ( η 1 , η 2 ) ) documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$((h_{1}^{p},h_{2}^{q});(eta _{1},eta _{2}))$$end{document} -convex mappings via an extended generalized Mittag–Leffler function [J] . George Anastassiou, Artion Kashuri, Rozana Liko Arabian Journal of Mathematics . 2020,第2期

机译：广义 - <内联公式ID =“IEQ1”> <替代方案> m DocumentClass [12pt] {minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amsbsy} usepackage {mathrsfs} usepackage {supmeek} setLength { oddsidemargin} { - 69pt} begin {document} $$ natm {document} - <替代方案> （（ h 1 p ， H 2 Q ）？（ η 1 ， η 2 ）） documentClass [12pt] {minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs } usepackage {supmeek} setLength { oddsideDemargin} { - 69pt} begin {document} $$（（h_ {1} ^ {p}，h_ {2} ^ {q}）;（ eta _ {1 }， eta _ {2}））$$ end {document} -Convex通过扩展的广义式Mittag-Leffler功能映射
2. First moments of Rankin–Selberg convolutions of automorphic forms on GL ( 2 ) documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$${{,mathrm{GL},}}(2)$$end{document} [J] . Jeff Hoffstein, Min Lee, Maria Nastasescu Research in Number Theory . 2021,第4期

机译：在<内联公式ID =“IEQ1”> <替代方案> gl （ 2 ） DocumentClass [12pt] {minimal} usepackage {ammath} usepackage {keysym} usepackage {amsfonts} usepackage {amssysfl} usepackage {mathrsfs} usepackage {mathek} setLength { ODDSideMargin} { - 69pt} begin {document} $$ {{， mathrm {gl} ，}}（2）$$ end {document}
3. On some recent progress in the classification of ( P and Q ) documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$(Phbox { and }Q)$$end{document} -polynomial association schemes [J] . Alexander L. Gavrilyuk, Jack H. Koolen Arabian Journal of Mathematics . 2021,第1期

机译：关于<内联公式ID =“IEQ1”> <替代方案> （ P 和 q ） documentClass [ 12pt] {minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {supmeek} setLength { oddsidemargin} { - 69pt} begin {document} $$（p hbox {and} q）$$ end {document} -Polynomial协会计划
4. Minimal False Quantified Boolean Formulas [C] . Hans Kleine Buening, Xishun Zhao International Conference on Theory and Applications of Satisfiability Testing - SAT 2006; 20060812-15; Seattle,WA(US) . 2006

机译：最小的错误量化布尔公式
5. Pseudo-Boolean satisfiability and quantified Boolean formulas in CAD for VLSI [D] . Mangassarian, Hratch 2008

机译：VLSI CAD中的伪布尔可满足性和量化布尔公式
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. Encoding Nested Boolean Functions as Quantified Boolean Formulas [O] . Uwe Bubeck, Hans Kleine Büning 2012

机译：编码嵌套布尔函数作为量化的布尔公式
8. ON THE THEORY OF BOOLEAN FORMULAS: MINIMAL INCLUDING SUMS, II [R] . Edward W. Samson, L. Calabi 1963

机译：关于布尔公式的理论：最小的包括sUms，II

Minimal False Quantified Boolean Formulas

摘要

著录项

相似文献

相关主题

期刊订阅