• 188 引用
  • 8 h指数
1992 …2020

Research output per year

Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Miyuki Koshimuraが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

  • 1 同様のプロファイル

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

  • 188 引用
  • 8 h指数
  • 34 記事
  • 33 会議での発言
  • 1 Conference article

A Simple yet Efficient MCSes Enumeration with SAT Oracles

Koshimura, M. & Satoh, K., 1 1 2020, Intelligent Information and Database Systems - 12th Asian Conference, ACIIDS 2020, Proceedings. Nguyen, N. T., Trawinski, B., Jearanaitanakij, K., Chittayasothorn, S. & Selamat, A. (版). Springer, p. 191-201 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 12033 LNAI).

研究成果: 著書/レポートタイプへの貢献会議での発言

  • A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets

    Liao, X. & Koshimura, M., 9 4 2019, : : Journal of Logic and Computation. 29, 6, p. 913-931 19 p.

    研究成果: ジャーナルへの寄稿記事

  • Improved WPM encoding for coalition structure generation under MC-nets

    Liao, X., Koshimura, M., Nomoto, K., Ueda, S., Sakurai, Y. & Yokoo, M., 1 15 2019, : : Constraints. 24, 1, p. 25-55 31 p.

    研究成果: ジャーナルへの寄稿記事

  • 1 引用 (Scopus)

    Maximum satisfiability formulation for optimal scheduling in overloaded real-time systems

    Liao, X., Zhang, H., Koshimura, M., Huang, R. & Yu, W., 1 1 2019, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Nayak, A. C. & Sharma, A. (版). Springer Verlag, p. 618-631 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11670 LNAI).

    研究成果: 著書/レポートタイプへの貢献会議での発言

  • N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

    Zha, A., Koshimura, M. & Fujita, H., 4 15 2019, : : Constraints. 24, 2, p. 133-161 29 p.

    研究成果: ジャーナルへの寄稿記事