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.

Try in SPARQL Jump to: Surface forms Referenced by

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.

SMT-COMP → fullName → Satisfiability Modulo Theories Competition ⓘ