Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
