Satisfiability Modulo Theories Competition
E2192477
UNEXPLORED
The Satisfiability Modulo Theories Competition is an annual international competition that benchmarks and compares SMT solvers on a wide range of logical formulas and background theories.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Satisfiability Modulo Theories Competition canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.