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

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


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