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