Alternatives to ULP optimization
Options that appear in the same research papers as ULP optimization, by co-occurrence.
| Alternative | Papers (with ULP optimization) | Avg viability |
|---|---|---|
| SMT solving | 1 | — |
| numerical optimization | 1 | — |
| floating-point satisfiability | 1 | — |