Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme.

Yi Chu Chu-Min Li Furong Ye Shaowei Cai

Published in: SAT (2024)

Keyphrases

weighting scheme
combinatorial optimization
satisfiability testing
search space
search algorithm
visual words
sat solvers
tf idf
weighting schemes
clause learning
bag of words
search engine
image features
natural language processing
keypoints
pairwise
digital libraries