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