An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem (Q1725596)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem |
scientific article |
Statements
An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem (English)
0 references
14 February 2019
0 references
combinatorial optimization
0 references
maximum satisfiability
0 references
local search
0 references
path-breaking
0 references
mutation
0 references
