| Miyuki Koshimura | Last modified date：2013.6.8 |
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,pp.139-140,, SAT2009 competitive event booklet: preliminary version,2009.09 [URL]. |
The fact that no permission it reprints contents of this data base is prohibitted.