satisfiabilityとは 意味・読み方・使い方

SYSTEM, METHOD, AND LOGICAL DEVICE FOR SCHEDULING EVENT IN BOOLEAN SATISFIABILITY SOLVER例文帳に追加

ブール充足可能性解答装置におけるイベントをスケジューリングするシステム、方法及び論理装置 - 特許庁

This method for Boolean satisfiability(SAT) comprises a step for using variable decision heuristic in a SAT algorithm and a step for pruning the search space of the Boolean satisfiability(SAT) by using the decision heuristic.例文帳に追加

ブーリアン満足化可能性(SAT)のための本方法は、SATアルゴリズム内で変数決定ヒューリスティックを使用するステップと、前記決定ヒューリスティックを使用してブーリアン満足化可能性(SAT)の探索空間をプルーニングするステップを備える。 - 特許庁

A decoding part 104 interprets determination results of the satisfiability determined by the satisfiability determining part 103 and outputs arrangement of classes existing on a path from the start point to the end point and distance between the start point and the end point.例文帳に追加

復号化部１０４は、充足可能性判定部１０３が判定した充足可能性の判定結果を解釈して、始点から終点に至る経路上に存在するクラスの並びと、始点及び終点間の距離とを出力する。 - 特許庁

To apply an SMT (Satisfiability Module Theories) solver to the property matching determination processing of software handling a variable length data structure.例文帳に追加

可変長データ構造を扱うソフトウェアのプロパティ整合性判定処理にＳＭＴソルバを適用できるようにする。 - 特許庁

Satisfiability of the QFP is checked, independently and individually, to determine whether the QFP is satisfiable for the subproblem.例文帳に追加

ＱＦＰが下位問題に対して充足し得るか否かを決定するために、ＱＦＰの充足可能性が、独立して個々に、検査される。 - 特許庁

Presently, an active area of research on satisfiability (SAT) problem is to design efficient algorithms to find a solution for a satisfiable conjunctive normal form (CNF) formula.発音を聞く 例文帳に追加

現在, 充足性(SAT)問題に関する活動的な研究領域は, 充足可能な論理積正規形(CNF)の式の解を見いだすための効果的なアルゴリズムを設計することである. - コンピューター用語辞典

When the component is satisfiable, it is added to another untested component, and the combined component is provided to be analyzed for the satisfiability.例文帳に追加

構成要素が充足可能である場合、それが別の未テストの構成要素に追加されて、組合せ構成要素が提供され、組合せ構成要素の充足可能性が分析される。 - 特許庁

The decision heuristic is based on the partitioning of a conjunctive normal form(CNF) of a Boolean formula corresponding to the Boolean satisfiability(SAT), and the portioning is induced by a separator set.例文帳に追加

決定ヒューリスティックは、ブーリアン満足化可能性(SAT)に対応したブーリアン式の論理積正規形(CNF)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁