158 citations · 167 across the 3 of their papers we have counts for
3 papers
cs.DS2019★ 9 cited
An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs
Luzhi Wang, Chu-Min Li, Junping Zhou +2
This paper proposes a novel branch-and-bound(BMWVC) algorithm to exactly solve the minimum weight vertex cover problem (MWVC) in large graphs. The original contribution is several…
cs.AI2018
An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem
Zhen-Xing Xu, Kun He, Chu-Min Li
Although Path-Relinking is an effective local search method for many combinatorial optimization problems, its application is not straightforward in solving the MAX-SAT, an optimiza…
cs.AI2011★ 158 cited
New Inference Rules for Max-SAT
C. M. Li, F. Manya, J. Planes
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simplifie…