E-graphs and Automated Reasoning: Looking Back to Look Forward

Explore the intersection of e-graphs and automated reasoning in this 38-minute video presentation by Philip Zucker from Draper at the EGRAPHS 2024 workshop. Delve into the historical context of automated reasoning and discover how e-graph rewriting techniques fit into this established field. Gain insights into potential fundamental extensions to e-graph rewriting as suggested by this connection. The talk, sponsored by ACM SIGPLAN, offers a retrospective view to inform future developments in the field.