The following pages link to (Q3455584):
Displayed 6 items.
- Local search for Boolean satisfiability with configuration checking and subscore (Q490437) (← links)
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability (Q502391) (← links)
- An efficient local search algorithm for solving maximum edge weight clique problem in large graphs (Q2175041) (← links)
- A Fast Vertex Weighting-Based Local Search for Finding Minimum Connected Dominating Sets (Q5085993) (← links)
- A vertex weighting-based double-tabu search algorithm for the classical \(p\)-center problem (Q6068702) (← links)
- Local Search For Satisfiability Modulo Integer Arithmetic Theories (Q6082229) (← links)