| 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
AI2003-7. |
| 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.
AI2001-5. |
