3 citations · 14 across the 18 of their papers we have counts for
1 paper · 2 filters
Jiongzhi Zheng, Zhuo Chen, Chu-Min Li +1
MaxSAT is an optimization version of the famous NP-complete Satisfiability problem (SAT). Algorithms for MaxSAT mainly include complete solvers and local search incomplete solvers.…