说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 布尔可满足性布线算法
1)  Boolean Satisfiability Routing Algorithm
布尔可满足性布线算法
2)  Pseudo-Boolean Satisfiability Routing Algorithm
伪布尔可满足性布线算法
3)  boolean satisfiability
布尔可满足性
1.
The Boolean Satisfiability is one of the most fundamental problems in computer science and a variety of algorithms-including the well-known search-based SAT algorithms-have been proposed.
布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法。
2.
In this paper, an efficient method integrating logic simulation and Boolean satisfiability (SAT) is presented, which can verify the designs with black boxes.
该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法 ,用于验证设计中黑盒外部的功能正确性 。
4)  pseudo-Boolean satisfiability
伪布尔可满足性
5)  Non-Boolean satisfiability problems
非布尔可满足性问题
6)  Boolean satisfiability problem
布尔可满足问题
1.
Model Checking and Boolean Satisfiability Problem;
模型检验及其布尔可满足问题的研究
补充资料:连续性与非连续性(见间断性与不间断性)


连续性与非连续性(见间断性与不间断性)
continuity and discontinuity

11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt,n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条