Equality saturation
From MaRDI portal
Publication:5261523
DOI10.1145/1480881.1480915zbMATH Open1315.68078OpenAlexW2152397470MaRDI QIDQ5261523FDOQ5261523
Authors: Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner 
Publication date: 3 July 2015
Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1480881.1480915
Recommendations
- Equality saturation: a new approach to optimization
- Publication:3200487
- Saturation in linear optimization
- An efficient algorithm for a class of equality-constrained optimization problems
- scientific article; zbMATH DE number 5671377
- On the equality constraints tolerance of constrained optimization problems
- Optimization over equilibrium sets∗
- Iterative Optimization with Equality Constraints
- A penalty-free method for equality constrained optimization
- On the Implementation of an Algorithm for Large-Scale Equality Constrained Optimization
Cited In (9)
- Impact of accuracy optimization on the convergence of numerical iterative methods
- Inductive prover based on equality saturation for a lazy functional language
- Proving properties of functional programs by equality saturation
- Equality saturation: a new approach to optimization
- Accurate evaluation of arithmetic expressions (invited talk)
- Higher-level supercompilation as a metasystem transition
- Transforming optimization problems into disciplined convex programming form
- Theory exploration powered by deductive synthesis
- Fast approximations of quantifier elimination
This page was built for publication: Equality saturation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261523)
