Blog

Feb 4, 2024

• Notes on the scheduling and extraction problems of EqSat [PDF version]

Aug 11, 2023

• The Termination Problem of EqSat is Undecidable [PDF version]

Jun 22, 2023

• The E-graph extraction problem is NP-complete [PDF version]

Mar 17, 2023

• Ensuring the Termination of EqSat over Terminating TRS [PDF version]

Jul 19, 2022

• A Tutorial on the Imaginary Gogi Language [PDF version]

Mar 9, 2022

• A Trick that Makes Classical E-Matching Faster [PDF version].