Login / Signup
The parallel search bench ZRAM and its applications.
Adrian Brüngger
Ambros Marzetta
K. Fukuda
Jürg Nievergelt
Published in:
Ann. Oper. Res. (1999)
Keyphrases
</>
parallel search
theorem proving
expert systems