Community Branching for Parallel Portfolio SAT Solvers (Q3192065)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Community Branching for Parallel Portfolio SAT Solvers |
scientific article |
Statements
Community Branching for Parallel Portfolio SAT Solvers (English)
0 references
26 September 2014
0 references
parallel SAT solver
0 references
portfolio
0 references
diversification
0 references
decision
0 references
community detection
0 references
