• 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
Filter
Article
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)

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

2012

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

2010

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

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

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

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

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

5 Citations (Scopus)

A proof of completeness for depth-first non-horn magic set

Koshimura, M. & Hasegawa, R., Sep 2002, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 7, 2, p. 111-118 8 p.

Research output: Contribution to journalArticle

Integrating folding-up and splitting lemmas into model generation

Matsushita, M., Hasegawa, R., Fujita, H. & Koshimura, M., Mar 2002, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 7, 1, p. 23-28 6 p.

Research output: Contribution to journalArticle

2001

Improving the efficiency of minimal model generation by extracting branching lemmas

Hasegawa, R., Fujita, H. & Koshimura, M., Dec 1 2001, In : Transactions of the Japanese Society for Artificial Intelligence. 16, 2, p. 234-245 12 p.

Research output: Contribution to journalArticle

Model generation with Boolean Constraints

Koshimura, M., Fujita, H. & Hasegawa, R., Sep 2001, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 6, 2, p. 157-160 4 p.

Research output: Contribution to journalArticle

1999

Efficient method to generate minimal models by introducing splitting lemmas

Hasegawa, R., Fujita, H. & Koshimura, M., Sep 1 1999, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 4, 2, p. 145-150 6 p.

Research output: Contribution to journalArticle

Embedding delayed relevancy testing and folding-up into CMGTP

Tatebayashi, T., Koshimura, M. & Hasegawa, R., Sep 1999, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 4, 2, p. 151-158 8 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
1997

A method to eliminate redundant case-splittings in MGTP and its evaluation

Matsumoto, T., Koshimura, M., Kuboyama, T. & Hasegawa, R., Mar 1 1997, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 2, 1, p. 75-80 6 p.

Research output: Contribution to journalArticle

1996

Non-Horn magic sets for bottom-up theorem proving

Hasegawa, R., Koshimura, M., Inoue, K. & Ohta, Y., Sep 1 1996, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 1, 1, p. 85-90 6 p.

Research output: Contribution to journalArticle