「disjunctions」を含む例文一覧(2)
- The system 100 and the method for solving the nogood database involve generating a representation comprising a plurality of contexted disjunctions, conjoining all of the contexted disjunctions to form a conjunction 112 of the contexted disjunctions, and storing the representation as the conjunction 112 of the contexted disjunctions.
不良データベースを解決するためのシステム１００および方法は、文脈に沿った複数の論理和を含む表現を生成し、文脈に沿ったすべての論理和を結合して、文脈に沿った論理和同士の論理積１１２を形成し、表現を文脈に沿った論理和同士の論理積１１２として記憶することを含む。 - 特許庁 - Nogoods 114 are eliminated by refining the representation until a result of the conjunction 112 of the contexted disjunctions is backtrack-free or the result of the conjunction 112 of the contexted disjunctions reduces to false.
不良部分１１４は、文脈に沿った論理和同士の論理積１１２の結果にバックトラックがないか、または文脈に沿った論理和同士の論理積１１２の結果が減少して偽になるまで、表現を改良して排除される。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
