Ryuzo Hasegawa

Publication Activity (10 Years)

Years Active: 1982-2014
Publications (10 Years): 0

Top Topics

Propositional Satisfiability

Coalition Structure Generation

Hybrid Particle Swarm Optimization

Top Venues

IEICE Trans. Inf. Syst.

Publications

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)
Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya
Fuce: the continuation-based multithreading processor. Conf. Computing Frontiers (2007)
Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
User-Schedule-based Web Page Recommendation. Web Intelligence (2007)
Yasuyuki Shirai, Ryuzo Hasegawa
Answer Set Computation Based on a Minimal Model Generation Theorem Prover. PRICAI (2004)
Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa
Abstract Model Generation for Preprocessing Clause Sets. LPAR (2004)
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)
Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa
Minimal Model Generation with Factorization and Constrained Search. PRICAI (2000)
Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai
Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic (2000)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Efficient Minimal Model Generation Using Branching Lemmas. CADE (2000)
Miyuki Koshimura, Ryuzo Hasegawa
Proof Simplification for Model Generation and Its Applications. LPAR (2000)
Shunichi Uchida, Akira Aiba, Kazuaki Rokusawa, Takashi Chikayama, Ryuzo Hasegawa
The parallel logic programming system in the FGCS project and its future directions. Parallel Comput. 25 (13-14) (1999)
Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE (1998)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX (1997)
Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE (1997)
Yasuyuki Shirai, Ryuzo Hasegawa
Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. ICLP (1995)
Ryuzo Hasegawa
Model Generation Theorem Provers and Their Applications. ICLP (1995)
Ryuzo Hasegawa, Miyuki Koshimura
An AND Parallelization Method for MGTP and Its Evaluation. PASCO (1994)
Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima
Bottom-up Abduction by Model Generation. IJCAI (1993)
Shunichi Uchida, Ryuzo Hasegawa, Kazumasa Yokota, Takashi Chikayama, Katsumi Nitta, Akira Aiba
Outline of the FGCS Fallow-on Project. New Gener. Comput. 11 (2) (1993)
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)
Akira Aiba, Ryuzo Hasegawa
Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. FGCS (1992)
Ryuzo Hasegawa, Masayuki Fujita
Parallel Theorem Provers and Their Applications. FGCS (1992)
Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa
Embedding Negation as Failure into a Model Generation Theorem Prover. 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)
Ryuzo Hasegawa
Problem-Solving and Inference Software. FGCS (1988)
Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa
Constraints Logic Programming Language CAL. FGCS (1988)
Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami
DFM: the data flow machine highly parallel symbol manipulation. FJCC (1987)
Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami
Implementation and Evaluation of a List-Processing-Oriented Data Flow Machine. ISCA (1986)
Yasushi Kiyoki, Ryuzo Hasegawa, Makoto Amamiya
A Stream-Oriented Parallel Processing Scheme for Relational Database Operations. ICPP (1986)
Ryuzo Hasegawa, Hirohide Mikami, Makoto Amamiya
A list-processing-oriented data flow machine architecture and its evaluation. Systems and Computers in Japan 16 (2) (1985)
Makoto Amamiya, Ryuzo Hasegawa
Dataflow Computing and Eager and Lazy Evaluations. New Gener. Comput. 2 (2) (1984)
Ryuzo Hasegawa, Makoto Amamiya
Parallel Execution of Logic Programs based on Dataflow Concept. FGCS (1984)
Makoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami
List Processing with a Data Flow Machine. RIMS Symposium on Software Science and Engineering (1982)
Makoto Amamiya, Ryuzo Hasegawa, Osamu Nakamura, Hirohide Mikami
A list-processing-oriented data flow machine architecture. AFIPS National Computer Conference (1982)