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

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

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it 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.