Access count of this item: 389

Files in This Item:
File Description SizeFormat 
D_Tamaki_Suguru.pdfDissertation_全文3.09 MBAdobe PDFView/Open
yjohk00213.pdfAbstract_要旨191.62 kBAdobe PDFView/Open
Title: Improved Algorithms for CNF Satisfiability Problems
Other Titles: 和積形論理式の充足可能性問題に対するアルゴリズムの改良
Authors: Tamaki, Suguru
Author's alias: 玉置, 卓
Issue Date: 23-Mar-2006
Publisher: 京都大学 (Kyoto University)
Conferring University: Kyoto University (京都大学)
Degree Level: 新制・課程博士
Degree Discipline: 博士(情報学)
Degree Report no.: 甲第12459号
Degree no.: 情博第213号
Degree Call no.: 新制||情||46(附属図書館)
Degree Affiliation: 京都大学大学院情報学研究科通信情報システム専攻
Examination Committee members: (主査)教授 岩間 一雄, 教授 湯淺 太一, 教授 小野寺 秀俊
Provisions of the Ruling of Degree: 学位規則第4条第1項該当
DOI: 10.14989/doctor.k12459
URI: http://hdl.handle.net/2433/68895
Appears in Collections:Doctoral Dissertation (Informatics)

Show full item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.