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-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条