ZRAM: a library of parallel search algorithms and its use in enumeration and combinatorial optimizationAmbros MarzettaUitverkocht4,3Hou mij op de hoogte
