ZRAM: a library of parallel search algorithms and its use in enumeration and combinatorial optimizationAmbros MarzettaAgotado4,3Notifícame
