Parallelizing local search for CNF satisfiability using vectorization and PVM (Q5463427)
From MaRDI portal
scientific article; zbMATH DE number 2192057
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parallelizing local search for CNF satisfiability using vectorization and PVM |
scientific article; zbMATH DE number 2192057 |
Statements
Parallelizing local search for CNF satisfiability using vectorization and PVM (English)
0 references
4 August 2005
0 references
SAT encoding
0 references
class scheduling problem
0 references
