Splitting on Demand in SAT Modulo Theories (Q5387916)
From MaRDI portal
scientific article; zbMATH DE number 5279596
Language | Label | Description | Also known as |
---|---|---|---|
English | Splitting on Demand in SAT Modulo Theories |
scientific article; zbMATH DE number 5279596 |
Statements
Splitting on Demand in SAT Modulo Theories (English)
0 references
27 May 2008
0 references