您的位置:首页 英语工具 英汉词典 satisfiability是什么意思
功能简介
根据单词,查询中文翻译、例句和语法等。

satisfiability

英式:[sætɪsfaɪəˈbɪlɪtɪ]
美式:[sætɪsfaɪəˈbɪlɪtɪ]

可满足性

The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem. 合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

The satisfiability problem is a key problem in computer science and artificial intelligence. 这是计算机科学和人工智能中的重要问题之一。

The research of this paper is based on the Boolean Satisfiability (SAT) Problem of combinational circuit. 本文研究工作是针对可满足问题(SAT)在组合电路验证和测试中的应用展开的。

Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme. 摘要在基于逻辑电路的布尔推理过程中,经常用到二叉判决图(BDD)与布尔可满足性(SAT)相结合的算法。

Another goal of the project is to find good methods for checking the satisfiability of first-order formulas (in finite domains). 本项目还研究了逻辑公式的可满足性判定问题。

In recent years, the Boolean Satisfiability (SAT) Problem, which is a foundational problem of verification, has made a great advance. 本文分析了现有的电路可满足性验证工具的优缺点,针对验证中学习效率的瓶颈提出了改进的方法,能够更加合理地利用电路现有的信息。

上一条:rowset
下一条:savepoint
关于我们 | 联系我们 | 商务合作 | 服务条款 | 免责声明 | 网站地图 | 找回密码
Copyright @ 2020-2024 中小学英语网 专业的中小学英语学习平台 版权所有