SMC (Q5275314)
From MaRDI portal
scientific article; zbMATH DE number 6741656
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SMC |
scientific article; zbMATH DE number 6741656 |
Statements
SMC (English)
0 references
11 July 2017
0 references
convex programming
0 references
satisfiability modulo convex optimization
0 references
satisfiability modulo theories
0 references
