Improved Algorithms for CNF Satisfiability Problems
Kyoto University (京都大学) === 0048 === 新制・課程博士 === 博士(情報学) === 甲第12459号 === 情博第213号 === 新制||情||46(附属図書館) === UT51-2006-J450 === 京都大学大学院情報学研究科通信情報システム専攻 === (主査)教授 岩間 一雄, 教授 湯淺 太一, 教授 小野寺 秀俊 === 学位規則第4条第1項該当...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
京都大学 (Kyoto University)
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2433/68895 |