【布尔可满足问题】

布尔可满足问题

在例句中比较

Boolean satisfiability problem

布尔可满足问题

基于1个网页-相关网页

短语

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

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

计算机科学技术

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

布尔可满足性是计算机科学中最基础的问题之一，已经出现了包括著名的基于查找的SAT算法在内的各种算法。

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.

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句