Kyushu University Academic Staff Educational and Research Activities Database
List of Reports
Miyuki Koshimura Last modified date:2023.02.06

Assistant Professor / Intelligence Science / Department of Informatics / Faculty of Information Science and Electrical Engineering

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].