ZRAM: a library of parallel search algorithms and its use in enumeration and combinatorial optimizationAmbros MarzettaÉpuisé4,3Prévenez-moi
