SAT-boosted tabu search for coloring massive graphs
From MaRDI portal
Publication:6579769
DOI10.1145/3603112MaRDI QIDQ6579769
Stefan Szeider, André Schidler
Publication date: 26 July 2024
Published in: ACM Journal of Experimental Algorithmics (Search for Journal in Brave)
Cites Work
- Unnamed Item
- A supernodal formulation of vertex colouring with applications in course timetabling
- On the complexity of some colorful problems parameterized by treewidth
- Improving the extraction and expansion method for large graph coloring
- SAT-based local improvement for finding tree decompositions of small width
- SAT-encodings for special treewidth and pathwidth
- A hybrid approach for exact coloring of massive graphs
- A graph coloring heuristic using partial solutions and a reactive tabu scheme
- Solving the Maximum Clique and Vertex Coloring Problems on Very Large Sparse Networks
- New methods to color the vertices of a graph
- A SAT Approach to Branchwidth
- Reducibility among Combinatorial Problems
- SAT-Encodings for Treecut Width and Treedepth
- The complexity of theorem-proving procedures
- Principles and Practice of Constraint Programming – CP 2003
- Shadoks approach to minimum partition into plane subgraphs (CG challenge)
- Conflict-based local search for minimum partition into plane subgraphs (CG challenge)
- Local search with weighting schemes for the CG:SHOP 2022 competition (CG challenge)
- Conflict optimization for binary CSP applied to minimum partition into plane subgraphs and graph coloring
- Minimum partition into plane subgraphs: the CG:SHOP challenge 2022
- SAT-based circuit local improvement
This page was built for publication: SAT-boosted tabu search for coloring massive graphs
