34 citations · 53 across the 6 of their papers we have counts for
1 paper · 1 filter
He Jiang, Jifeng Xuan, Yan Hu
The weighted Maximum Satisfiability problem (weighted MAX-SAT) is a NP-hard problem with numerous applications arising in artificial intelligence. As an efficient tool for heuristi…