ZRAM: a library of parallel search algorithms and its use in enumeration and combinatorial optimization

Ambros Marzetta. ZRAM: a library of parallel search algorithms and its use in enumeration and combinatorial optimization. PhD thesis, ETH Zurich, Zürich, Switzerland, 1998. [doi]

Abstract

Abstract is missing.