Theory Exploration Powered by Deductive Synthesis. - Eytan Singher; Shachar Itzhaky (CAV (2), 2021)

Condition Synthesis Realizability via Constrained Horn Clauses. - Bat-Chen Rothenberg; Orna Grumberg; Yakir Vizel; Eytan Singher (NFM, 2023)

Colored E-Graph: Equality Reasoning with Conditions. - Eytan Singher; Shachar Itzhaky (CoRR, 2023)

Easter Egg: Equality Reasoning Based on E-Graphs with Multiple Assumptions. - Eytan Singher; Shachar Itzhaky (FMCAD, 2024)