"查查詞典"手機(jī)版
千萬(wàn)人都在用的超大詞匯詞典翻譯APP
In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of determining if there exists an interpretation, which satisfies the formula. In other words, it establishes if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.
詳細(xì)百科解釋