Login / Signup
egg: Fast and extensible equality saturation.
Max Willsey
Chandrakana Nandi
Yisu Remy Wang
Oliver Flatt
Zachary Tatlock
Pavel Panchekha
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
markup language
data model
object oriented
application specific
databases
neural network
knowledge base
wide range
fixpoint
data sets
artificial intelligence
multiscale