Two tractable subclasses of minimal unsatisfiable formulas

来源 :中国科学：数学英文版 | 被引量 : 0次 | 上传用户：zeone

【摘要】

：

The minimal unsatisfiability problem is considered of the propositional formulas in CNF which in the case of variables x1,…, xn consist o

【作者】

：

赵希顺丁德成

【机构】

：

1.DepartmentofMathematics

【出处】

：

中国科学：数学英文版

【发表日期】

：

1999年7期

【关键词】

：

MINIMAL unsatisfiability SIMPLIFICATION PROCEDURE satisfaibility test SPLITTING

【基金项目】

：

Project supported by the National Natural Science Foundation of China (Grant No. 19771045),Nationl High-Tech R&D Project (863) (Grant No. 863-306-ET06-01-2).

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

The minimal unsatisfiability problem is considered of the propositional formulas in CNF which in the case of variables x1,…, xn consist of n+k clauses including x1

其他文献

Structure analysis of solution to equations of quasi 3-D accretion disk model

In this paper we discuss the problems contained in the solution to the equations of quasi 3-D accretion disk model, and point out that the angular momentum equa

期刊

acrretion磁盘吃惊acrretion disk shock

The broad-band CCD photometry and dust production rates of comet Hale-Bopp

Based upon broad-band CCD observation data of comet Hale-Bopp obtained by a 60 cm telescope at Xinglong Station of Beijing Astronomical Observatory during March

期刊

COMETHALE-BOPPCCDPHOTOMETRYDUSTproductionrate.comet Hale-Bopp CCD photome

Power functions with low uniformity on odd characteristic finite fields

In this paper,we give some new low differential uniformity of some power functions defined on finite fields with odd characteristic.As corollaries of the unifor

期刊

ALMOSTPERFECTnonlinearFUNCTIONdifferentialUNIFORMFUNCTIONFINITEfieldalm

Some new 3-designs from P SL（2,q） with q ≡ 1（mod 4）

我们从 PSL 的亚群的行动决定轨道的尺寸(2， q ) 在射影的线 X = GF (q) 上 {} 与 q 主要力量并且对 1 模适合 4。作为它的申请的一个例子，我们构造承认 PSL 的简单 3 设计的一

期刊

设计MOD自同构群PSLsimple 3-designs projective special linear groups projective l

Higher-order Mond-Weir converse duality in multiobjective programming involving cones

In this work,we established a converse duality theorem for higher-order Mond-Weir type multiobjective programming involving cones.This flls some gap in recently

期刊

MOND-WEIR对偶多目标规划高阶逆对偶定理对偶性金multiobjective programming higher order Mond-W

Cyclicity of homoclinic loops and degenerate cubic Hamiltonians

New conditions for a planar homoclinic loop to have cyclicity two under multiple parameter perturbations have been obtained. As an application it is proved that

期刊

HOMOCLINICloopbifurcationCYCLICITYQUADRATICsystem.homoclinic loop bifurcat

Poisson kernel and Cauchy formula of a non-symmetric transitive domain

In 1965, Lu Yu-Qian discovered that the Poisson kernel of the homogenous domain S m,p,q={Z∈Cm×m, Z1∈Cm×p,Z2 ∈Cq×m|2i1( Z-Z+)-Z1Z1′-Z2′Z2】0}

期刊

POISSONKERNELCAUCHYFORMULAPoisson kernelCauchy formula

Boundedness of commutators on homogeneous Herz spaces

在同类的 Herz 空格的固定被建立因为线性整流器的一个大类由 BMO (R n ) 产生了函数和包括考尔德楤牳灥的不平的内核的线性操作符吗？

期刊

HERZspacepowerweightCOMMUTATORBMO(R+n)functionsingularintegralROUGHke

Randomization of Qp spaces on the unit ball of Cn

In this paper, we study the random power series of several complex variables,and give some sufficient conditions for random power series to belong to Qp and Qp,

期刊

RANDOMpowerseriesfunctionspacestheunitball.random power series functi

Highly efficient TW multipass Ti:sapphire laser system

An efficient chirped-pulse amplification, Ti:sapphire laser system, has been developed using mainly domestic components. The gain-narrowing effect has been sign

期刊

terawatts(TW)FEMTOSECONDlaserPULSESchirped-pulsesAMPLIFICATIONTi:sapphir

Two tractable subclasses of minimal unsatisfiable formulas

与本文相关的学术论文