Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (Q2211872)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability |
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
