Easter Egg: Equality Reasoning Based on E-Graphs with Multiple Assumptions.

Eytan Singher, Shachar Itzhaky

Browse the full FMCAD paper archive.