【可满足性问题】

可满足性问题

satisfiability problem ; satistiability problem

在例句中比较

网络释义 专业释义

[数] satisfiability problem

- 可满足性问题的充分必要条件-1引,可满足性问题(satisfiability problem,简称SA T),是指合取范式的可满足性问题,简单可以叙述为:对于一个合适公式,通常我们假定己..

基于58个网页-相关网页

SAT

... IACIS 国际胶体与界面科学家协会 SAT 可满足性问题 WATERGATE 水峰压制脉冲序列 ...

基于20个网页-相关网页

SAT The Satisfiability Problem

SAT缩写对应的词条意思 ... SAT : Saturation n. 饱和(浸透, 磁性饱和, 色度学章度) SAT : The Satisfiability Problem 可满足性问题 SAT : Sant Andreu Teatre (French) 圣·安德鲁Teatre(法国) ...

基于1个网页-相关网页

短语

布尔可满足性问题 Boolean satisfiability problem ; satisfiability ; Satisfiability problem ; Boolean Satisfiability

非布尔可满足性问题 non-boolean satisfiability problems

计算机科学技术 | 电子、通信与自动控制技术 | 数学

satisfiability problem - 引用次数：17
In the second part we give a game-theoretic characterization for modal mu-calculus's satisfiability problem.

第二部分对模态μ演算上的可满足性问题进行了博弈刻画,对可满足性公式可以进行模型构建,对不可满足公式可以生成反例。

参考来源 - 博弈理论在互模拟和模态μ

sat problem - 引用次数：10
参考来源 - 非线性智能观测器及其应用研究

proposition satisfactory problem - 引用次数：2
参考来源 - 一种新的基于扩展规则的知识编译方法
satisfiabiliy - 引用次数：1
参考来源 - 集成电路的逻辑等价性验证研究

satisfiability problem
satisfiability problem

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

可满足性问题(SAT)是当代理论计算机科学的核心问题。

Satisfiability (SAT) problem has been the core problem of research on computational theory.

youdao
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

The satisfiability problem of conjunction normal form (abbreviate sat problem) is an NP_complete problem.

youdao
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

The satisfiability of conjunction normal form (abbreviate sat problem) is a typical NP-complete problem.

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句

目录