Recommendations
- Equality saturation: a new approach to optimization
- scientific article; zbMATH DE number 4176369
- 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
(11)- Higher-level supercompilation as a metasystem transition
- Equality saturation: a new approach to optimization
- Proving properties of functional programs by equality saturation
- Inductive prover based on equality saturation for a lazy functional language
- Accurate evaluation of arithmetic expressions (invited talk)
- Impact of accuracy optimization on the convergence of numerical iterative methods
- Fast approximations of quantifier elimination
- Transforming optimization problems into disciplined convex programming form
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Theory exploration powered by deductive synthesis
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)
