On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem (Q1652309)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem |
scientific article |
Statements
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem (English)
0 references
11 July 2018
0 references
maximum clique problem
0 references
branch-and-bound
0 references
branching ordering
0 references
incremental maxsat reasoning
0 references
