The following pages link to Equality saturation (Q5261523):
Displaying 8 items.
- Proving properties of functional programs by equality saturation (Q300342) (← links)
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Higher-level supercompilation as a metasystem transition (Q1758721) (← links)
- Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Q3455064) (← links)
- Accurate Evaluation of Arithmetic Expressions (Invited Talk) (Q5170165) (← links)
- Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (Q5743590) (← links)
- Fast approximations of quantifier elimination (Q6535528) (← links)
- Transforming optimization problems into disciplined convex programming form (Q6648168) (← links)