CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su. CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Transactions on Computers, 64(7):1830-1843, 2015. [doi]

Authors

Chuan Luo

This author has not been identified. Look up 'Chuan Luo' in Google

Shaowei Cai

This author has not been identified. Look up 'Shaowei Cai' in Google

Wei Wu

This author has not been identified. Look up 'Wei Wu' in Google

Zhong Jie

This author has not been identified. Look up 'Zhong Jie' in Google

Kaile Su

This author has not been identified. Look up 'Kaile Su' in Google