research
∙
04/10/2023
Better Together: Unifying Datalog and Equality Saturation
We present egglog, a fixpoint reasoning system that unifies Datalog and ...
share
research
∙
09/07/2022
Small Proofs from Congruence Closure
Satisfiability Modulo Theory (SMT) solvers and equality saturation engin...
research
∙
07/12/2021
An Interval Arithmetic for Robust Error Estimation
Interval arithmetic is a simple way to compute a mathematical expression...
research
∙
04/07/2020
egg: Fast and Extensible E-graphs
An e-graph efficiently represents a congruence relation over many expres...
research
∙
04/07/2020