Export Mendeley
＜Doctoral Thesis＞
Improvements of SAT Solving Techniques and Their Application to the Coalition Structure Generation Problem
| Creator | |
|---|---|
| Examiner | |
| Language | |
| Academic Year Conferred | |
| Conferring University | |
| Degree | |
| Degree Type | |
| Publication Type | |
| Access Rights |
Hide fulltext details.
| File | FileType | Size | Views | Description |
|---|---|---|---|---|
isee0641
|
2.05 MB | 247 | 本文 | |
|
isee0641_abstract
|
83.1 KB | 238 | 要旨 | |
|
isee0641_review
|
55.4 KB | 122 | 審査結果要旨 |
Details
| Record ID | |
|---|---|
| Peer-Reviewed | |
| Report Number | |
| Number of Diploma | |
| Granted Date | |
| Date Accepted | |
| Faculty | |
| Location | |
| Location | |
| Call Number | |
| Notes | |
| Created Date | 2018.11.05 |
| Modified Date | 2018.12.26 |