 |
 |
 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex CoverJournal of Artificial Intelligence Research (JAIR), 2014 |
 Algorithms for Weighted Boolean OptimizationInternational Conference on Theory and Applications of Satisfiability Testing (SAT), 2009 |
 |
