Minimizing Models for Tseitin-Encoded SAT Instances (Q5326466)
From MaRDI portal
scientific article; zbMATH DE number 6195198
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Minimizing Models for Tseitin-Encoded SAT Instances |
scientific article; zbMATH DE number 6195198 |
Statements
Minimizing Models for Tseitin-Encoded SAT Instances (English)
0 references
5 August 2013
0 references
