| 意味 | 例文 |
Conjunctive normal formの部分一致の例文一覧と使い方
該当件数 : 3件
CIRCUIT CONJUNCTIVE NORMAL FORM GENERATION METHOD, CIRCUIT CONJUNCTIVE NORMAL FORM GENERATION DEVICE, HAZARD CHECK METHOD AND HAZARD CHECK DEVICE例文帳に追加
回路連言標準形生成方法及び回路連言標準形生成装置並びにハザードチェック方法及びハザードチェック装置 - 特許庁
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 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)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁
| 意味 | 例文 |
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
| Copyright © Japan Patent office. All Rights Reserved. |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|
