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
Scheduling Engineering & Materials Science
Inductive logic programming (ILP) Engineering & Materials Science

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

Research Output 1992 2019

  • 177 Citations
  • 8 h-Index
  • 33 Article
  • 31 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

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

Optimal Scheduling
Real time systems
Scheduling
Real-time
Deadline

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