Journal

A Fast Local Search Algorithm for Minimum Sum Coloring Problem on Massive Graphs
PDF DOI
Local Search For Satisfiability Modulo Integer Arithmetic Theories
PDF DOI
Efficient Local Search Based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set
PDF DOI
Relaxed Backtracking with Rephasing
PDF