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

Research Output 1984 2019

  • 187 Citations
  • 8 h-Index
  • 34 Article
  • 28 Conference contribution
  • 2 Paper
  • 1 Conference article
2019

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

2014
3 Citations (Scopus)

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

Combinatorial optimization
Experiments
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

2013
13 Citations (Scopus)

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

Sorting
Adders

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

Adders

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

Soft Constraints
Ramsey number
Model
Search Space
Lower bound
2 Citations (Scopus)

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

Data storage equipment
Ground state
Recovery
Side channel attack
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

Search engines
Websites

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

Particle swarm optimization (PSO)
Scheduling
Tabu search
Simulated annealing
Markov processes

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

Inductive logic programming (ILP)
Blogs
Recommender systems
9 Citations (Scopus)

Solving the coalition structure generation problem with MaxSAT

Liao, X., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 1 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

2011
3 Citations (Scopus)

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

Job Shop Scheduling Problem
Hybrid Optimization
Tabu Search
Simulated Annealing
Particle swarm optimization (PSO)
3 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

Particle swarm optimization (PSO)
Local Search
Particle Swarm Optimization
Scheduling Problem
Scheduling
1 Citation (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

Search engines
World Wide Web
Websites

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

Particle swarm optimization (PSO)
Scheduling
Tabu search
Simulated annealing
Cooling

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

Search engines
2010
1 Citation (Scopus)

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

Search engines
Feedback
Experiments
2 Citations (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

Knowledge acquisition
Websites
1 Citation (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

Inductive logic programming (ILP)
Blogs
Recommender systems
7 Citations (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

Testing
Job shop scheduling
2009

A continuation-based noninterruptible multithreading processor architecture

Amamiya, S., Amamiya, M., Hasegawa, R. & Fujita, H., Feb 1 2009, In : Journal of Supercomputing. 47, 2, p. 228-252 25 p.

Research output: Contribution to journalArticle

Multithreading
Continuation
Thread
Emitter coupled logic circuits
Clocks
9 Citations (Scopus)

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

Atoms
Subroutines
2008
1 Citation (Scopus)

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

Search engines
Experiments

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

Theorem proving
5 Citations (Scopus)

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

User Profile
Internet
Enhancement
Experimental Results
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

3 Citations (Scopus)

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

Search engines
Websites
World Wide Web
Experiments
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

Field programmable gate arrays (FPGA)
Networks (circuits)
Hardware

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

Processing

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

High level languages
Sugars
Computer programming languages
Computer hardware
Macros

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

Processing
Synchronization
Computer systems
2005
1 Citation (Scopus)

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

Specifications
Temporal logic
Finite automata
Systems analysis
Control systems

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

Search engines
Websites
Internet

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

Field programmable gate arrays (FPGA)
Computer hardware description languages
Redundancy
Networks (circuits)
Experiments
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

Search engines
Internet

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

Search engines
World Wide Web
Classifiers
Web crawler

Implementing a model-generation theorem prover on an FPGA

Fujita, H., Kawano, A. & Hasegawa, R., Mar 1 2004, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 9, 1, p. 13-18 6 p.

Research output: Contribution to journalArticle

Field programmable gate arrays (FPGA)
Networks (circuits)
Acoustic waves
Hardware
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

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

Inference engines
Computer networks
User interfaces
Network protocols
5 Citations (Scopus)
First-order Logic
Theorem
Or-parallelism
Negation as Failure
Constraint Propagation

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
Factorization
1 Citation (Scopus)

Model generation with Boolean Constraints

Koshimura, M., Fujita, H. & Hasegawa, R., Jan 1 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Voronkov, A. & Nieuwenhuis, R. (eds.). Springer Verlag, p. 299-308 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

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

Logic programming
Competition System
Constraint Logic Programming
Model
Lemma

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

Logic programming
2000
12 Citations (Scopus)

Effcient minimal model generation using branching lemmas

Hasegawa, R., Fujita, H. & Koshimura, M., 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. Springer Verlag, Vol. 1831. p. 184-199 16 p.

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

Minimal Model
Branching
Lemma
Minimality
Speedup
4 Citations (Scopus)
Constraint satisfaction problems
Restoration
Data structures
Chemical activation