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