Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (Q2211872)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability |
scientific article |
Statements
Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (English)
0 references
16 November 2020
0 references
maximum satisfiability
0 references
industrial instances
0 references
local search
0 references
clause weighting
0 references
unit propagation
0 references
hybridization
0 references
