Altan Haan


Note. All the articles/blog posts that I have written can be found here.

E-Graphs Are Minimal Deterministic Finite Tree Automata (DFTAs) July 10, 2021
Bought a Bass January 5, 2021
Bye 2020 January 1, 2021
Static Site Compiler December 4, 2020
CDCL Synthesis Experiment Log, Ideas, Details May 31, 2019

This page was generated on Sat Jul 10 13:43:06 2021.