詞語:satisfiability
satisfiability的解釋
satisfiabilityn. 可滿足性
satisfiability的意思
Satisfiability 可滿足性;滿足性問題;滿足性;可滿意性;information satisfiability 信息可滿足性;satisfiability problem 可滿足性問題;滿足性問題;Stochastic satisfiability 隨機可滿足性;Boolean Satisfiability Problem 問題;布爾可滿足性問題;
satisfiability的參考例句
1.Finally, the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space. 最後,根據正交子句組對整個賦值空間的覆蓋情況來判斷SAT是否滿足。
2.In this paper we describe a robust and efficient algorithm for ATPG——the algorithm for test pattern generation using satisfiability. 描述一種新的健全高效的測試向量自動生成方法——測試向量生成的可滿足性算法。
3.Lu Shuai, Liu Lei, Jiang Hong, Wei Wei. Classical optimal planning method based on propositional satisfiability. Computer Science, 2010, 37(4). 呂帥,劉磊,江鴻,魏唯。基於命題可滿足性的經典最優規劃方法。計算機科學,2010,37(4)。(已錄用。