Pages that link to "Item:Q4917618"
From MaRDI portal
The following pages link to NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover (Q4917618):
Displaying 3 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 with large neighborhoods for the maximum weighted independent set problem† (Q6066584) (← links)
