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

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


Presentations
1. Miyuki Koshimura, Optimal Scheduling for a Vertical Transport Machine with MaxSAT, NII 湘南会議 Shonan Meeting, 2023.10.
2. Miyuki Koshimura, Aolong Zha, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo, Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation, The 4th Kakenhi Kiban-A&B/NII Collaborate Research Meeting, 2019.03.
3. Miyuki Koshimura, Kazuki Nomoto, Yuko Sakurai, Makoto Yokoo, MaxSAT Encoding for MC-net/PDT-based Coalition Structure Generation Problem, The 10th CSPSAT Seminar, 2016.11.
4. Miyuki Koshimura, Toshitaka Arimura, QwMaxSAT: A weighted partial MaxSAT solver, The 7th CSPSAT & ASP Seminar, 2014.04.
5. Miyuki Koshimura, Xiaojuan Liao, An Extension of MaxSAT and Its Application to the Coalition Structure Generation, Fifth CSPSAT & ASP Seminar, 2012.10.
6. 山梨大学(甲府キャンパス 情報メディア館5F 多目的ホール).
7. Mayumi Umeda, Miyuki Koshimura, Ryuzo Hasegawa:
Preprocessing Clause Sets by Abstract Model Generation.
Technical Report of IEICE AI2004-7.
8. Ryo Shimizu, Ryuzo Hasegawa, Miyuki Koshimura:
CTL Model Checking with Model Generation Theorem Prover,
Technical Report of IEICE
AI2003-7.
9. Junichi Shimizu, Miyuki Koshimura, Ryuzo Hasegawa:
An Analysis of Lemmas Extracted from Model Generation Proofs for Sudoku(Number Place)Puzzle,
Technical Report of IEICE.
AI2001-5.