A Max-SAT Inference-Based Pre-processing for Max-Clique (Q3502702)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Max-SAT Inference-Based Pre-processing for Max-Clique |
scientific article |
Statements
A Max-SAT Inference-Based Pre-processing for Max-Clique (English)
0 references
27 May 2008
0 references
Max-SAT
0 references
Max-clique
0 references
Inference
0 references
0 references
