Improved Algorithms for CNF Satisfiability Problems / 和積形論理式の充足可能性問題に対するアルゴリズムの改良 / ワセキケイ ロンリシキ ノ ジュウソク カノウセイ モンダイ ニ タイスル アルゴリズム ノ カイリョウ

Description

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(情報学) / 甲第12459号 / 情博第213号 / 新制||情||46(附属図書館) / UT51-2006-J450 / 京都大学大学院情報学研究科通信情報システム専攻 / (主査)教授 岩間 一雄, 教授 湯淺 太一, 教授 小野寺 秀俊 / 学位規則第4条第1項該当

Links & Downloads

1. http://hdl.handle.net/2433/68895
2. 000008286411
3. 10.14989/doctor.k12459

Tags

007

Additional Fields

Identifer	oai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/68895
Date	23 March 2006
Creators	Tamaki, Suguru
Contributors	岩間, 一雄, 湯淺, 太一, 小野寺, 秀俊, 玉置, 卓, タマキ, スグル
Publisher	京都大学 (Kyoto University), 京都大学
Source Sets	Kyoto University
Language	English
Detected Language	Japanese
Type	DFAM, Thesis or Dissertation
Format	application/pdf