16:45egglog Tutorial (EGRAPHS 2023) | Next Generation Egraphsoflatt education2.8K viewsView & Download
16:53Better Together: Unifying Datalog and Equality Saturation (PLDI 2023)Yihong Zhang623 viewsView & Download
29:57[POPL 2021] egg: Fast and Extensible Equality Saturation (full)ACM SIGPLAN4.6K viewsView & Download
1:00:41Datalog and Equality SaturationSimons Institute for the Theory of Computing777 viewsView & Download
![[POPL 2021] egg: Fast and Extensible Equality Saturation (full) — ACM SIGPLAN — egglog tutorial egraphs 2023 next generation egraphs YouTube to MP3 & MP4 download on TubeGalore](/api/image/6cJMI9z2TeU/mqdefault)
