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.

  • 2 Similar Profiles
Search engines Engineering & Materials Science
Theorem proving Engineering & Materials Science
Particle swarm optimization (PSO) Engineering & Materials Science
UNIX Engineering & Materials Science
Websites Engineering & Materials Science
Minimal Model Mathematics
Inductive logic programming (ILP) Engineering & Materials Science
Blogs Engineering & Materials Science

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

Research Output 1992 2019

  • 175 Citations
  • 8 h-Index
  • 33 Article
  • 30 Conference contribution
  • 1 Conference article

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

Coalitions
Encoding
Partial
Experiments
Transitivity

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

Conjunctive Normal Form
Modulo
Computational complexity
Encoding
Polynomials
1 Citation (Scopus)

A Hybrid Encoding of Pseudo-Boolean Constraints into CNF

Zha, A., Koshimura, M. & Fujita, H., May 9 2018, Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017. Institute of Electrical and Electronics Engineers Inc., p. 9-12 4 p. (Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017).

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

Computational complexity
1 Citation (Scopus)

Mixed radix weight totalizer encoding for pseudo-boolean constraints

Zha, A., Uemura, N., Koshimura, M. & Fujita, H., Jun 4 2018, Proceedings - 2017 International Conference on Tools with Artificial Intelligence, ICTAI 2017. IEEE Computer Society, p. 868-875 8 p. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2017-November).

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

1 Citation (Scopus)

Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation

Zha, A., Nomoto, K., Ueda, S., Koshimura, M., Sakurai, Y. & Yokoo, M., Jan 1 2017, PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Bazzan, A., Villata, S., An, B., Leite, J. & van der Torre, L. (eds.). Springer Verlag, p. 143-159 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10621 LNAI).

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

Graphical Representation
Coalitions
Partition Function
Game
Decision trees