collaborators

1 paper

cs.AI2025

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting

Menghua Jiang, Haokai Gao, Shuhao Chen +1

Partial Maximum Satisfiability (PMS) and Weighted Partial Maximum Satisfiability (WPMS) generalize Maximum Satisfiability (MaxSAT), with broad real-world applications. Recent advan…