Rchr
J-GLOBAL ID：200901040886102704   Update date: Feb. 01, 2024

Koshimura Miyuki

コシムラ ミユキ | Koshimura Miyuki
Affiliation and department：
Kyushu University Faculty of Information Science and Electrical Engineering

About Kyushu University Faculty of Information Science and Electrical Engineering


Job title： Research Associate
Homepage URL  (1)： http://hyoka.ofc.kyushu-u.ac.jp/search/details/K000184/index.html
Research field  (1)： Intelligent informatics
Research keywords  (5)： Scheduling ,  Coalition Structure Generation Problem ,  SAT ,  Parallel Processing ,  Automated Reasoing
Research theme for competitive and other funds  (16)：
  • 2019 - 2023 Problem Solving with SAT Oracles
  • 2017 - 2020 Ramsey数に関する計算科学的研究
  • 2016 - 2019 推論・学習機能を備えた実験候補推薦システムの研究開発
  • 2013 - 2016 大規模組合せ最適化問題のEPR解法に関する研究
  • 2013 - 2016 基数制約を用いたSATソルバーの拡張とその応用に関する研究
Show all
Papers (75)：
  • Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Fagen Li. Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS. JUCS - Journal of Universal Computer Science. 2023. 29. 8. 911-937
  • Tomoya Sugahara, Kaito Yamashita, Nathanaël Barrot, Miyuki Koshimura, Makoto Yokoo. Robust Weighted Partial Maximum Satisfiability Problem: Challenge to Σ2P-Complete Problem. PRICAI (1). 2022. 17-31
  • Sung-Ho Cho, Miyuki Koshimura, Pinaki Mandal, Kentaro Yahiro, Makoto Yokoo. Impossibility of weakly stable and strategy-proof mechanism. Economics Letters. 2022. 217. 110675-110675
  • Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo. Concise integer linear programming formulation for clique partitioning problems. Constraints An Int. J. 2022. 27. 1. 99-115
  • Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu, Fagen Li. Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial MaxSAT. Mathematical Problems in Engineering. 2021. 2021. 1-17
ｍore...
MISC (86)：
  • 越村 三幸, 野田 五十樹. 垂直搬送機のMaxSATによる最適スケジューリング. スケジューリング・シンポジウム 2022 講演論文集. 2022
  • 越村 三幸, 廖 暁鵑, 渡部 恵海, 櫻井 祐子, 横尾 真. 推移関係を表す SAT 節の削減. 2020年度 人工知能学会全国大会(第34回). 2020
  • 越村 三幸, 佐藤 健. SATソルバーGlucoseを用いたMCS列挙. 2019年度 人工知能学会全国大会(第33回). 2019
  • 越村 三幸, 廖 暁鵑, 野本 一貴, 上田 俊, 櫻井 祐子, 横尾 真. An Improvement of MaxSAT Encoding for Coalition Structure Generation Using MC-nets and Its Evaluations. 人工知能基本問題研究会. 2018. 106. 31-36
  • 越村 三幸, 廖 暁鵑, 野本 一貴, 上田 俊, 櫻井 祐子, 横尾 真. An Improvement of MaxSAT Encoding for Coalition Structure Generation Using MC-nets. 日本ソフトウェア科学会大会論文集. 2017. 34. 121-126
ｍore...
Patents (1)：
  • 実験支援システム、実験支援方法、および実験支援プログラム
Lectures and oral presentations  (11)：
  • ラムゼーグラフの二つの遷移
    (2023年電子情報通信学会総合大会 2023)
  • 垂直搬送機のMaxSATによる最適スケジューリング
    (スケジューリング・シンポジウム2022 2022)
  • 推移関係を表す SAT 節の削減
    (2020年度 人工知能学会全国大会(第34回) 2020)
  • SATソルバーGlucoseを用いたMCS列挙,
    (2019年度 人工知能学会全国大会(第33回) 2019)
  • MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価
    (人工知能学会 第106回人工知能基本問題研究会(SIG-FPAI) 2018)
ｍore...
Education (4)：
  • - 1986 University of Tsukuba Master's Program in Science and Engineering
  • - 1986 University of Tsukuba Graduate School, Division of Science and Engineering
  • - 1984 University of Tsukuba
  • - 1984 University of Tsukuba First Cluster of College
Professional career (1)：
  • Doctor of Engineering (Kyushu University)
Work history (9)：
  • 2020/04 - 現在 National Institute of Advanced Industrial Science and Technology
  • 2015/04 - 現在 Seinan Gakuin University Department of Human Sciences
  • 2007 - 現在 - 九州大学大学院システム情報科学研究院 助教
  • 2015/09 - 2017/03 Kyushu Institute of Information Sciences Faculty of Management and Information Sciences
  • 2010/04 - 2016/03 Kindai University Faculty of Humanity-Oriented Science and Engineering
Show all
Committee career (1)：
  • 2014/04 - 2016/03 人工知能学会 人工知能基本問題研究会 幹事
Awards (1)：
  • 2007 - ISC Award Winning Paper
Association Membership(s) (4)：
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS ,  人工知能学会 ,  日本ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM