• 194 Citations
  • 8 h-Index
1992 …2020

Research output per year

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

Research Output

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

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

2019

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., 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

1 Citation (Scopus)

Solving Coalition Structure Generation Problems over Weighted Graph

Watanabe, E., Koshimura, M., Sakurai, Y. & Yokoo, M., Jan 1 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila Wenkstern, R. (eds.). Springer, p. 338-353 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11873 LNAI).

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

2018

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

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)
2017

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

3 Citations (Scopus)
2016

Reconstructing AES key schedule images with SAT and MaxSAT

Liao, X., Zhang, H. & Koshimura, M., Jan 2016, In : IEICE Transactions on Information and Systems. E99D, 1, p. 141-150 10 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2014

Extending MaxSAT to solve the coalition structure generation problem with externalities based on agent relations

Liao, X., Koshimura, M., Fujita, H. & Hasegawa, R., Jan 1 2014, In : IEICE Transactions on Information and Systems. E97-D, 7, p. 1812-1821 10 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

MaxSAT encoding for MC-net-based coalition structure generation problem with externalities

Liao, X., Koshimura, M., Fujita, H. & Hasegawa, R., Jul 2014, In : IEICE Transactions on Information and Systems. E97-D, 7, p. 1781-1789 9 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2013

Modulo based CNF encoding of cardinality constraints and its application to MaxSAT solvers

Ogawa, T., Liu, Y., Hasegawa, R., Koshimura, M. & Fujita, H., Dec 1 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 9-17 9 p. 6735224

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

16 Citations (Scopus)

Modulo based CNF encoding of cardinality constraints and its evaluation

Ogawa, T., Liu, Y., Hasegawa, R., Koshimura, M. & Fujita, H., 2013, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 18, 2, p. 85-92 8 p.

Research output: Contribution to journalArticle

SCSat: A soft constraint guided SAT solver

Fujita, H., Koshimura, M. & Hasegawa, R., Jul 15 2013, Theory and Applications of Satisfiability Testing, SAT 2013 - 16th International Conference, Proceedings. p. 415-421 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7962 LNCS).

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

Using MaxSAT to correct errors in AES key schedule images

Liao, X., Zhang, H., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 1 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 284-291 8 p. 6735262. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

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

2 Citations (Scopus)
2012

Evaluating reranking methods based onlink co-occurrence and category in Wikipedia

Takiguchi, Y., Kurakado, K., Oishi, T., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence. Vol. 1. p. 277-282 6 p.

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

Hybrid Particle Swarm Optimization and convergence analysis for scheduling problems

Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., Aug 20 2012, GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Companion. p. 307-314 8 p. (GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Companion).

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

1 Citation (Scopus)

Report on SAT competition and Max-SAT evaluation

Nabeshima, H., Koshimura, M. & Banbara, M., Nov 1 2012, In : Computer Software. 29, 4, p. 9-14 6 p.

Research output: Contribution to journalArticle

Rule extraction from micro-blog using inductive logic programming

Chikara, N., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 12 2012, 2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedings. 6342076. (2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedings).

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

Solving the coalition structure generation problem with MaxSAT

Liao, X., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, Proceedings - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. p. 910-915 6 p. 6495141. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 1).

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

12 Citations (Scopus)
2011

An efficient hybrid particle swarm optimization for the Job Shop scheduling problem

Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., Sep 27 2011, FUZZ 2011 - 2011 IEEE International Conference on Fuzzy Systems - Proceedings. p. 622-626 5 p. 6007385. (IEEE International Conference on Fuzzy Systems).

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

4 Citations (Scopus)

Combining PSO and local search to solve scheduling problems

Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., Aug 26 2011, Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. p. 347-354 8 p. (Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication).

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

4 Citations (Scopus)

Evaluating reranking methods using wikipedia features

Kurakado, K., Oishi, T., Hasegawa, R., Fujita, H. & Koshimura, M., Jul 14 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. p. 376-381 6 p. (ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence; vol. 1).

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

1 Citation (Scopus)

Hybrid Particle Swarm Optimization with parameter selection approaches to solve Flow Shop Scheduling Problem

Zhang, X. F., An, X., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 1 2011, Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011. p. 13-19 7 p. 6169128. (Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011).

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

Trendspotter detection system for twitter

Shirakihara, W., Oishi, T., Hasegawa, R., Hujita, H. & Koshimura, M., Jul 14 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. p. 625-628 4 p. (ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence; vol. 1).

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

2010

Related word extraction algorithm for query expansion - An evaluation

Oishi, T., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Nov 4 2010, Advances in Practical Multi-Agent Systems. Bai, Q. (ed.). p. 33-48 16 p. (Studies in Computational Intelligence; vol. 325).

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

1 Citation (Scopus)

Related word extraction from wikipedia for web retrieval assistance

Hori, K., Oishi, T., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Sep 13 2010, ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings. p. 192-199 8 p. (ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings; vol. 2).

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

2 Citations (Scopus)

Rule extraction from blog using Inductive logic Programming

Chikara, N., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 13 2010, Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010. p. 269-272 4 p. 5615040. (Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010).

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

1 Citation (Scopus)

Solving open job-shop scheduling problems by SAT encoding

Koshimura, M., Nabeshima, H., Fujita, H. & Hasegawa, R., Aug 2010, In : IEICE Transactions on Information and Systems. E93-D, 8, p. 2316-2318 3 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2009

Minimal model generation with respect to an atom set

Koshimura, M., Nabeshima, H., Fujita, H. & Hasegawa, R., Dec 1 2009, In : CEUR Workshop Proceedings. 556, p. 49-59 11 p.

Research output: Contribution to journalConference article

9 Citations (Scopus)
2008

A method for query expansion using the related word extraction algorithm

Oishi, T., Kuramoto, S., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Dec 1 2008, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. p. 41-44 4 p. 4740723. (Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008).

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

1 Citation (Scopus)

Model Generation Theorem Proving and Its Elementary Techniques.

Hasegawa, R., Fujita, H. & Koshimura, M., Jan 1 2008, In : Computer Software. 25, 3, p. 2-10 9 p.

Research output: Contribution to journalArticle

Personalized search using ODP-based user profiles created from user bookmark

Oishi, T., Kambara, Y., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Dec 1 2008, PRICAI 2008: Trends in Artificial Intelligence - 10th Pacific Rim International Conference on Artificial Intelligence, Proceedings. p. 839-848 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5351 LNAI).

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

5 Citations (Scopus)
2007

Implementation of a SAT solver Herrsat in Java and a method for eliminating learned clauses

Omori, S., Matsushita, K., Hasegawa, R., Fujita, H. & Koshimura, M., Mar 1 2007, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 12, 1, p. 33-39 7 p.

Research output: Contribution to journalArticle

On finding minimal-models using DPLL-based SAT solver

Shikada, N., Taniguchi, K., Hasegawa, R., Fujita, H. & Koshimura, M., Sep 1 2007, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 12, 2, p. 81-86 6 p.

Research output: Contribution to journalArticle

User-schedule-based Web page recommendation

Oishi, T., Kuramoto, S., Nagata, H., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Dec 1 2007, Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007. p. 776-779 4 p. 4427188. (Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007).

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

3 Citations (Scopus)
2006

A preprocessing method for the SAT solver PCMGTP on FPGA

Matsuda, J., Koshimura, M., Fujita, H. & Hasegawa, R., Sep 1 2006, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 11, 2, p. 109-114 6 p.

Research output: Contribution to journalArticle

Design and implementation of the language HAL for Fuce architecture

Amamiya, S., Hirana, R., Koshimura, M., Fujita, H. & Hasegawa, R., Sep 1 2006, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 11, 2, p. 103-108 6 p.

Research output: Contribution to journalArticle

On a FUCE language and its processing

Amamiya, S., Hasegawa, R., Fujita, H., Koshimura, M. & Amamiya, M., Mar 1 2006, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 11, 1, p. 23-30 8 p.

Research output: Contribution to journalArticle

Stream processing on FUCE and its implementation language

Hasegawa, R., Fujita, H., Amamiya, S., Koshimura, M. & Amamiya, M., Mar 1 2006, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 11, 1, p. 31-38 8 p.

Research output: Contribution to journalArticle

2005

Abstract model generation for preprocessing clause sets

Koshimura, M., Umeda, M. & Hasegawa, R., Jan 1 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, p. 67-78 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3452 LNAI).

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

Formal verification of a railway interlocking system by the SPIN model checker

Oogami, S., Shimizu, R., Koshimura, M., Kawamura, T., Fujita, H. & Hasegawa, R., Mar 2005, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 10, 1, p. 33-38 6 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Improvement of a system to propose relevant words in WEB retrieval and extraction the summaries of WEB pages

Umenaga, A., Takeshita, H., Hisamoto, M., Hasegawa, R., Fujita, H. & Koshimura, M., Mar 1 2005, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 10, 1, p. 27-32 6 p.

Research output: Contribution to journalArticle

On improvements of a SAT-solver PCMGTP on FPGA

Fujita, H., Hasegawa, R., Koshimura, M., Kinoshita, S. & Matsuda, J., Mar 1 2005, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 10, 1, p. 21-26 6 p.

Research output: Contribution to journalArticle

2004

A system proposing words relevant to keywords in WEB retrieval

Oishi, T., Hasegawa, R., Fujita, H. & Koshimura, M., Mar 2004, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 9, 1, p. 19-24 6 p.

Research output: Contribution to journalArticle

Building crawler for user-specific web search engines

Takasago, S., Hasegawa, R., Fujita, H. & Koshimura, M., Mar 2004, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 9, 1, p. 25-29 5 p.

Research output: Contribution to journalArticle

2003

Model generation using generalized lemma

Shimizu, J., Koshimura, M., Fujita, H. & Hasegawa, R., Jan 1 2003, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 8, 1, p. 55-59 5 p.

Research output: Contribution to journalArticle

Pruning model generation proof tree with binary decision diagrams

Oka, Y., Hasegawa, R. & Koshimura, M., Jan 1 2003, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 8, 1, p. 49-54 6 p.

Research output: Contribution to journalArticle

2002

A legal negotiatiton support system based on a diagram

Nitta, K., Shibasaki, M., Yasumura, Y., Hasegawa, R., Fujita, H., Koshimura, M., Inoue, K., Shirai, Y. & Komatsu, H., Dec 1 2002, In : Transactions of the Japanese Society for Artificial Intelligence. 17, 1, p. 32-43 12 p.

Research output: Contribution to journalArticle