| Miyuki Koshimura | Last modified date：2023.02.06 |
Assistant Professor /
Intelligence Science /
Department of Informatics /
Faculty of Information Science and Electrical Engineering
Reports
| 1. | Report on SAT Competition and Max-SAT Evaluation. |
| 2. | Model Enumeration and Model Counting. |
| 3. | Miyuki Koshimura and Hidetomo Nabeshima, Partial Max-SAT Encoding for the Job Shop Scheduling Problem, , SAT2009 competitive event booklet: preliminary version, pp.139-140, 2009.09, [URL]. |
Unauthorized reprint of the contents of this database is prohibited.