Login / Signup
Equality Saturation Theory Exploration à la Carte.
Anjali Pal
Brett Saiki
Ryan Tjoa
Cynthia Richey
Amy Zhu
Oliver Flatt
Max Willsey
Zachary Tatlock
Chandrakana Nandi
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
theoretical framework
theoretical foundation
theoretical basis
general theory
data sets
relational databases
knowledge discovery
reinforcement learning
data structure
computational model
information theory
formal theory