Partitioning SAT Instances for Distributed Solving (Q4933318)
From MaRDI portal
scientific article; zbMATH DE number 5798909
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partitioning SAT Instances for Distributed Solving |
scientific article; zbMATH DE number 5798909 |
Statements
Partitioning SAT Instances for Distributed Solving (English)
0 references
12 October 2010
0 references
