Parallel and Customizable Equality Saturation.

Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach

Browse the full CC paper archive.