• 検索結果がありません。

2H4-OS-03a-1 (OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題

N/A
N/A
Info
ダウンロード
Protected

Academic year: 2021

シェア "2H4-OS-03a-1 (OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題"

Copied!
1
0
0

読み込み中.... (全文を見る)

今ダウンロードする ( 1 ページ )

全文

(1)

BDD/ZDD

処理系と

SAT

ソルバに関する研究の流れと最近の話題

湊 真一

北海道大学大学院情報科学研究科

BDD/ZDD処理系と SAT ソルバは、いずれも命題論理に関する制約充足問題を解く技法であり、互いに 影響を与えながら発展してきた。本講演では、BDD/ZDD 処理系と SAT ソルバに関するこれまでの研究の 流れを概観し、両者の特長の違いについて述べる。さらに、これらの技法に関する最近の話題にも触れる。 1

The 29th Annual Conference of the Japanese Society for Artificial Intelligence, 2015

参照

今ダウンロードする ( PDF - 1 ページ - 40.91 KB )

関連したドキュメント

代数的組合せ最適化

東京大学 大学院情報理工学系研究科 数理情報学専攻. [email protected]

多項式最適化入門

情報理工学研究科 情報・通信工学専攻. 2012/7/12

報道機関各位 2022 年 2 月 25 日 東北大学大学院医学系研究科早稲田大学スポーツ科学学術院九州大学 ムキムキを目指すだけが筋トレではない 筋トレで死亡 疾病リスクが減少週 30~60 分を目安に 発表のポイント これまで公表された筋力トレーニング ( 筋トレ ) 注 1 と疾病 死亡との関

東北大学大学院医学系研究科の運動学分野門間陽樹講師、早稲田大学の川上

(1)手話言語研究センター講話会

関西学院大学手話言語研究センターの研究員をしております松岡と申します。よろ

２０２１年度 経済学研究科 履修心得

経済学研究科は、経済学の高等教育機関として研究者を

手話言語を獲得・習得する子どもの力研究プロジェクト

話題提供者： 河﨑佳子 神戸大学大学院 人間発達環境学研究科 話題提供者： 酒井邦嘉＃ 東京大学大学院 総合文化研究科 話題提供者： 武居渡 金沢大学

ANNUAL REPORT

向井　康夫 ： 東北大学大学院 生命科学研究科 助教 牧野　渡 ： 東北大学大学院 生命科学研究科 助教 占部　城太郎 ：

関西学院大学大学院学則

本研究科は、本学の基本理念のもとに高度な言語コミュニケーション能力を備え、建学