Hiroshi Fujita

According to our database, Hiroshi Fujita authored at least 35 papers between 1991 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

<i>N</i>-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT.

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita

Constraints An Int. J., 2019

2017

A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2017

Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.

Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2014

Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations.

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

IEICE Trans. Inf. Syst., 2014

MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities.

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

IEICE Trans. Inf. Syst., 2014

2013

SCSat: A Soft Constraint Guided SAT Solver.

Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers.

Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Using MaxSAT to Correct Errors in AES Key Schedule Images.

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

QMaxSAT: A Partial Max-SAT Solver.

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa

J. Satisf. Boolean Model. Comput., 2012

Solving the Coalition Structure Generation Problem with MaxSAT.

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia.

Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Hybrid particle swarm optimization and convergence analysis for scheduling problems.

Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2011

QMaxSAT version 0.3 & 0.4.

Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the TABLEAUX 2011, 2011

Trendspotter Detection System for Twitter.

Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Evaluating Reranking Methods using Wikipedia Features.

Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Combining PSO and local search to solve scheduling problems.

Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem.

Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the FUZZ-IEEE 2011, 2011

2010

Solving Open Job-Shop Scheduling Problems by SAT Encoding.

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa

IEICE Trans. Inf. Syst., 2010

A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem.

Xue-Feng Zhang, Bin Tong, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Aust. J. Intell. Inf. Process. Syst., 2010

Related Word Extraction from Wikipedia for Web Retrieval Assistance.

Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

Rule Extraction from Blog Using Inductive Logic Programming.

Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

2009

A continuation-based noninterruptible multithreading processor architecture.

Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita

J. Supercomput., 2009

Related Word Extraction Algorithm for Query Expansion - An Evaluation.

Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the Advances in Practical Multi-Agent Systems, 2009

Minimal Model Generation with Respect to an Atom Set.

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008

Personalized Search Using ODP-based User Profiles Created from User Bookmark.

Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

A Method for Query Expansion Using the Related Word Extraction Algorithm.

Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

2007

User-Schedule-based Web Page Recommendation.

Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

2002

A Model Generation Based Theorem Prover MGTP for First-Order Logic.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Model Generation with Boolean Constraints.

Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the Logic for Programming, 2001

2000

Efficient Minimal Model Generation Using Branching Lemmas.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the Automated Deduction, 2000

1997

MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1992

Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.

Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the Automated Reasoning, 1992

Model Generation Theorem Provers on a Parallel Inference Machine.

Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.

Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the Automated Deduction, 1992

1991

A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm.

Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the Logic Programming, 1991