Conference
Open access
Sep 2026
Towards Cardinality-Aware Local Search for SAT with Cardinality Constraints
A cardinality-aware local search framework to solve SAT with cardinality constraints, denoted as CardSAT-LS, which integrates a preprocessing phase based on the generalized unit propagation and resolution, a cardinality-sensitive scoring function combining the make-break mechanism and cardinality violation, and an init...
Shu-Li Hu, Dian Ling, Jia-Qi Li et al.
· Proceedings of the Thirty-Fi... · 0 citations