• 192 Citations
  • 8 h-Index
1992 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Miyuki Koshimura is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 192 Citations
  • 8 h-Index
  • 34 Article
  • 33 Conference contribution
  • 1 Conference article

A Simple yet Efficient MCSes Enumeration with SAT Oracles

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

  • 2 Citations (Scopus)

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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

    Research output: Contribution to journalArticle