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

To provide a QBF technique to be used for judging satisfiability of a QBF.例文帳に追加

ＱＢＦの充足可能性を判定する際に使用されるＱＢＦ技法を提供する。 - 特許庁

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.例文帳に追加

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

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

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

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

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

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)の探索空間をプルーニングするステップを備える。 - 特許庁

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)の式の解を見いだすための効果的なアルゴリズムを設計することである. - コンピューター用語辞典

The model inspection device further includes an inspection performing unit that performs the inspection by satisfiability modulo theories based on the logical formula generated by the logical formula generating unit.例文帳に追加

また、論理式生成部によって生成された論理式に基づいて充足性モジュロ理論による検査を実行する検査実行部を備えるようにモデル検査装置を構成する。 - 特許庁

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)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁