Ryuzo Hasegawa

QMaxSAT: A Partial Max-SAT Solver

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita et al. · Journal on Satisfiability Boolean Modeling and Computation · 2012 · 118 citations · Full text

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

Hiroshi Fujita, Ryuzo Hasegawa · International Conference on Lightning Protection · 1991 · 50 citations

Engineering, Ramified -Stack Algorithm, Automated Reasoning +9

Implementation and evaluation of a list-processing-oriented data flow machine

Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa et al. · ACM SIGARCH Computer Architecture News · 1986 · 34 citations · Full text

Engineering, Computer Architecture, Parallel Implementation +20

A list-processing-oriented data flow machine architecture

Makoto Amamiya, Ryuzo Hasegawa, Osamu Nakamura et al. · 1982 · 31 citations

Engineering, New Type, Computer Architecture +19

Dataflow computing and eager and lazy evaluations

Makoto Amamiya, Ryuzo Hasegawa · New Generation Computing · 1984 · 31 citations

Workflow Execution, Engineering, Data Flow +7