Hiroshi Fujita

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 3

Top Topics

Coalition Structure Generation

Hybrid Particle Swarm Optimization

Top Venues

IEICE Trans. Inf. Syst.

GECCO (Companion)

Publications

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. Constraints An Int. J. 24 (2) (2019)
Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita
Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints. ICTAI (2017)
Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF. TAAI (2017)
Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities. IEICE Trans. Inf. Syst. (7) (2014)
Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations. IEICE Trans. Inf. Syst. (7) (2014)
Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa
SCSat: A Soft Constraint Guided SAT Solver. SAT (2013)
Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. ICTAI (2013)
Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Using MaxSAT to Correct Errors in AES Key Schedule Images. ICTAI (2013)
Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Solving the Coalition Structure Generation Problem with MaxSAT. ICTAI (2012)
Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia. ICAART (1) (2012)
Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Hybrid particle swarm optimization and convergence analysis for scheduling problems. GECCO (Companion) (2012)
Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa
QMaxSAT: A Partial Max-SAT Solver. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Evaluating Reranking Methods using Wikipedia Features. ICAART (1) (2011)
Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem. FUZZ-IEEE (2011)
Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Combining PSO and local search to solve scheduling problems. GECCO (Companion) (2011)
Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Trendspotter Detection System for Twitter. ICAART (1) (2011)
Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
QMaxSAT version 0.3 & 0.4. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Related Word Extraction from Wikipedia for Web Retrieval Assistance. ICAART (2) (2010)
Xue-Feng Zhang, Bin Tong, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem. Aust. J. Intell. Inf. Process. Syst. 12 (4) (2010)
Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
Solving Open Job-Shop Scheduling Problems by SAT Encoding. IEICE Trans. Inf. Syst. (8) (2010)
Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Rule Extraction from Blog Using Inductive Logic Programming. Web Intelligence/IAT Workshops (2010)
Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Related Word Extraction Algorithm for Query Expansion - An Evaluation. PRIMA Workshops (2009)
Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita
A continuation-based noninterruptible multithreading processor architecture. J. Supercomput. 47 (2) (2009)
Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
Minimal Model Generation with Respect to an Atom Set. FTP (2009)
Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Personalized Search Using ODP-based User Profiles Created from User Bookmark. PRICAI (2008)
Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
A Method for Query Expansion Using the Related Word Extraction Algorithm. Web Intelligence/IAT Workshops (2008)
Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
User-Schedule-based Web Page Recommendation. Web Intelligence (2007)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
A Model Generation Based Theorem Prover MGTP for First-Order Logic. Computational Logic: Logic Programming and Beyond (2002)
Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Model Generation with Boolean Constraints. LPAR (2001)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Efficient Minimal Model Generation Using Branching Lemmas. CADE (2000)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX (1997)
Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
Model Generation Theorem Provers on a Parallel Inference Machine. FGCS (1992)
Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. CADE (1992)
Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR (1992)
Hiroshi Fujita, Ryuzo Hasegawa
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. ICLP (1991)