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

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

Theorem proving
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

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

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
4 Citations (Scopus)
Constraint satisfaction problems
Restoration
Data structures
Chemical activation

Verification method for systolic arrays using induction-based theorem provers

Takahashi, K. & Fujita, H., Jan 1 1999, In : Artificial Intelligence in Engineering. 13, 1, p. 43-53 11 p.

Research output: Contribution to journalArticle

Systolic arrays
Networks (circuits)
Hardware
Specifications
1998
2 Citations (Scopus)
Java programming language
Knowledge based systems
Processing
Experiments

TPF: An effective method for verifying synchronous circuits with induction-based provers

Takahashi, K. & Fujita, H., Jan 1 1998, In : IEICE Transactions on Information and Systems. E81-D, 1, p. 12-18 7 p.

Research output: Contribution to journalArticle

Networks (circuits)
1997

An N-sequential execution method for parallel programs and its application to MGTP

Hasegawa, R., Fujita, H., Nakata, T. & Chikara, N., Sep 1997, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 2, 2, p. 240-246 7 p.

Research output: Contribution to journalArticle

Processing
Theorem proving
Communication
Computer programming languages
Data storage equipment

N-sequential execution method for parallel programs and its application to MGTP

Hasegawa, R., Fujita, H., Nakata, T. & Chikara, N., Sep 1997, In : Research Reports on Information Science and Electrical Engineering of Kyushu University. 2, 2, p. 241-246 6 p.

Research output: Contribution to journalArticle

Processing
Theorem proving
Communication
Computer programming languages
Data storage equipment
1988
20 Citations (Scopus)

A self-applicable partial evaluator and its use in incremental compilation

Fujita, H. & Furukawa, K., Sep 1 1988, In : New Generation Computing. 6, 2-3, p. 91-118 28 p.

Research output: Contribution to journalArticle

Compilation
Prolog
Partial
Compiler
Knowledge based systems

Competitive partial evaluation - Some remaining problems of partial evaluation

Takeuchi, A. & Fujita, H., Jun 1 1988, In : New Generation Computing. 6, 2-3, p. 259-277 19 p.

Research output: Contribution to journalArticle

Partial Evaluation
Speedup