3 citations · 14 across the 18 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.NE2024
An Efficient Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems
Jiongzhi Zheng, Jinghui Xue, Kun He +2
In many real-world problems and applications, finding only a single element, even though the best, among all possible candidates, cannot fully meet the requirements. We may wish to…
cs.AI2024
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
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.…