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

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

1. 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.
2. 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.
3. Miyuki Koshimura, Toshitaka Arimura, QwMaxSAT: A weighted partial MaxSAT solver, The 7th CSPSAT & ASP Seminar, 2014.04.
4. Miyuki Koshimura, Xiaojuan Liao, An Extension of MaxSAT and Its Application to the Coalition Structure Generation, Fifth CSPSAT & ASP Seminar, 2012.10.
5. 山梨大学(甲府キャンパス 情報メディア館5F 多目的ホール).
6. Mayumi Umeda, Miyuki Koshimura, Ryuzo Hasegawa:
Preprocessing Clause Sets by Abstract Model Generation.
Technical Report of IEICE AI2004-7.
7. Ryo Shimizu, Ryuzo Hasegawa, Miyuki Koshimura:
CTL Model Checking with Model Generation Theorem Prover,
Technical Report of IEICE
8. Junichi Shimizu, Miyuki Koshimura, Ryuzo Hasegawa:
An Analysis of Lemmas Extracted from Model Generation Proofs for Sudoku(Number Place)Puzzle,
Technical Report of IEICE.