Equality Saturation for Circuit Synthesis and Verificationspiral.imperial.ac.uk2 pointsmatt_d4 months ago