| 意味 | 例文 (2件) |
論理積正規形の英語
追加できません
(登録数上限)
単語を追加
「論理積正規形」の部分一致の例文検索結果
該当件数 : 2件
現在, 充足性(SAT)問題に関する活動的な研究領域は, 充足可能な論理積正規形(CNF)の式の解を見いだすための効果的なアルゴリズムを設計することである.例文帳に追加
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. - 特許庁
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
|
| 意味 | 例文 (2件) |
|
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
