An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem (Q2800956)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem |
scientific article |
Statements
An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem (English)
0 references
19 April 2016
0 references
