|
SEIKEI University Repository >
01：紀要(Bulletin) >
11：理工学研究報告 >
第49巻第2号 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10928/290
|
| タイトル: | 充足可能性問題のアルゴリズム |
| その他のタイトル: | Algorithms for the satisfiability problem |
| 著者: | 山本, 真基
YAMAMOTO, Masaki |
| キーワード: | algorithm
satisfiability problem
NP-hard |
| 発行日: | 2012年12月1日 |
| 出版者: | 成蹊大学理工学部 |
| 抄録: | The satisfiability problem (SAT problem for short) is a computational problem, such as the traveling salesman problem. It is a fundamental problem in theoretical computer science. We present the background of the SAT problem as well as typical algorithms for solving the problem. The main purpose of this paper is to introduce one of my research work. |
| URI: | http://hdl.handle.net/10928/290 |
| 出現コレクション: | 第49巻第2号
|
このリポジトリに保管されているアイテムは、他に指定されている場合を除き、著作権により保護されています。
|
