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