egg: Easy, Efficient, and Extensible E-graphs.

Max Willsey Yisu Remy Wang Oliver Flatt Chandrakana Nandi Pavel Panchekha Zachary Tatlock

Published in: CoRR (2020)

Keyphrases

computationally efficient
data sets
real world
pattern recognition
np complete
random walk
graph structure
graph theoretic