CHECKING THE SATISFIABILITY OF FORMULAS REPRESENTED IN DISJUNCTIVE NORMAL FORM IN THE LANGUAGE L. II

S. L. Kryvyj; A. N. Chebotarev

首页> 外文期刊>Cybernetics and Systems Analysis >CHECKING THE SATISFIABILITY OF FORMULAS REPRESENTED IN DISJUNCTIVE NORMAL FORM IN THE LANGUAGE L. II

【24h】

CHECKING THE SATISFIABILITY OF FORMULAS REPRESENTED IN DISJUNCTIVE NORMAL FORM IN THE LANGUAGE L. II

机译：在语言L中检查以不规则正态表示的公式的可满足性

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

This paper concentrates on issues of implementation of the method proposed for checking the consistency of formulae of the language L and described in the first part of this work. Upper-bound estimates of time complexity of the corresponding algorithms are obtained.

机译：本文着重于本工作的第一部分中介绍的用于检查语言L的公式一致性的方法的实现问题。获得相应算法的时间复杂度的上限估计。

著录项

来源
《Cybernetics and Systems Analysis》 |2005年第6期|p.800-807|共8页
作者
S. L. Kryvyj; A. N. Chebotarev;
展开▼
作者单位

Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;

展开▼
收录信息美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
language L; satisfiability of a formula; depth of a formula; set of conjuncts; data representation; estimation of complexity;

机译：语言L;公式的可满足性;公式的深度;合集;数据表示;复杂度的估计;

相似文献

外文文献
中文文献
专利

1. CHECKING THE SATISFIABILITY OF FORMULAS REPRESENTED IN DISJUNCTIVE NORMAL FORM IN THE LANGUAGE L. I [J] . S. L. Kryvyj, A. N. Chebotarev Cybernetics and Systems Analysis . 2005,第4期

机译：检查语言中以不规则正态表示的公式的可满足性
2. Thermodynamics of T T ˉ documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathrm{T}overline{mathrm{T}} $$end{document} , J T ˉ documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathrm{J}overline{mathrm{T}} $$end{document} , T J ˉ documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathrm{T}overline{mathrm{J}} $$end{document} deformed conformal field theories [J] . Soumangsu Chakraborty, Akikazu Hashimoto The journal of high energy physics . 2020,第7期

机译：<内联公式ID =“IEQ1”> <替代品> T t ˉ DocumentClass [12pt] {minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amssys} usepackage {mathrsfs} usepackage {mathrsfs} usepackage {supbeek } setLength { oddsidemargin} { - 69pt} begin {document} $$ mathrm {t} overline { mathrm {t}} $$ end {document} <内联图xlink ：href =“13130_2020_13473_ARTICLICLE_IEQ1.gif”/> ， Ĵ T ˉ< / mml：mo> DocumentClass [12pt] {minimal} usepackage {ammath} usepackage {keysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {supmeek} setLength { oddsideDemargin} {-69pt} begin {document} $$$$ mathrm {j} overline { $$ end {document} ，<内联公式id =“IEQ3”> <替代方案> T J ˉ 的DocumentClass [12磅] {最小} usepackage {amsmath} usepackage {wasysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {upgreek} setlength { oddsidemargin} {-69pt} begin {document} $$ mathrm {t} overline { mathrm {t}} $$ end {document} 变形的保形磁场领域IES.
3. Entanglement entropy for T T ˉ documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathrm{T}overline{mathrm{T}} $$end{document} , J T ˉ documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathrm{J}overline{mathrm{T}} $$end{document} , T J ˉ documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathrm{T}overline{mathrm{J}} $$end{document} deformed holographic CFT [J] . Soumangsu Chakraborty, Akikazu Hashimoto The journal of high energy physics . 2021,第2期

机译：为<直列式ID = “IEq1”> <替代>纠缠熵 T T ˉ < TEX-数学ID = “IEq1_TeX”> 的DocumentClass [12磅] {最小} usepackage {amsmath} usepackage {wasysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage { upgreek} setlength { oddsidemargin} { - 69pt} {开始文档} $$ mathrm【T} {划线 mathrm【T}} $$ {端文档} <直列图形的xlink：HREF = “MediaObjects / 13130__14822_IEq1.gif”/> ，<直列式ID = “IEq2”> <替代> Ĵ T ˉ 的DocumentClass [12磅] {最小} {usepackage amsmath} {usepackage wasysym} {usepackage amsfonts} {usepackage amssymb} {usepackage amsbsy} {usepackage mathrsfs} {usepackage upgreek} setlength { oddsidemargin} { - 69pt} {开始文档} $$ mathrm {Ĵ} 上划线{ mathrm【T}} $$ {端文档} <直列图形的xlink：HREF = “MediaObjects / 13130__14822_IEq2.gif”/> ，<直列式ID = “IEq3”> <替代> T < MML：MI mathvariant = “正常”>Ĵ ˉ 的DocumentClass [12磅] {最小} usepackage {amsmath} usepackage {wasysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {upgreek} setlength { oddsidemargin} { - 69pt} {开始文档} $$ mathrm【T} {划线 mathrm {Ĵ}} $$ {端文档} <直列图形的xlink：HREF = “MediaObjects / 13130__14822_IEq3.gif”/> 变形全息CFT
4. Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L [C] . Anatoly Chebotarev, Sergey Krivoi Perspectives of Systems Informatics; Lecture Notes in Computer Science; 4378 . 2006

机译：基于改进的基于分辨率的语言L满意度检查方法
5. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. [D] . Chang, Che-Wei. 2015

机译：使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
6. PSXIII-20 Low birth weight pigs gain muscle more efficiently than normal birth weight pigs when limit-fed sow milk replacer formula [O] . Joseph Yonke, Kacie Seymour 2019

机译：PSXIII-20低出生体重猪比正常出生体重猪更有效地获得肌肉当喂养母乳替代品配方
7. METHODS OF REDUCING OF LARGE BOOLEAN FORMULAS REPRESENTED IN A CONJUNCTIVE NORMAL FORM FOR DETERMINING THEIR SATISFIABILITY [O] . N.I. Gdansky, A.A. Denisov 2020

机译：减少在联合正常形式中表示的大布尔公式的方法，以确定其可靠性

CHECKING THE SATISFIABILITY OF FORMULAS REPRESENTED IN DISJUNCTIVE NORMAL FORM IN THE LANGUAGE L. II

摘要

著录项

相似文献

相关主题

期刊订阅