SAT-boosted tabu search for coloring massive graphs (Q6579769)
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: SAT-boosted tabu search for coloring massive graphs |
scientific article; zbMATH DE number 7887806
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SAT-boosted tabu search for coloring massive graphs |
scientific article; zbMATH DE number 7887806 |
Statements
SAT-boosted tabu search for coloring massive graphs (English)
0 references
26 July 2024
0 references
graph coloring
0 references
SAT encoding
0 references
tabu search
0 references
SAT-based local improvement
0 references
massive graphs
0 references
experiments
0 references
cg:shop
0 references
0 references
