Empirical investigation of stochastic local search for maximum satisfiability

Yi Chu, Chuan Luo, Shaowei Cai, Haihang You. Empirical investigation of stochastic local search for maximum satisfiability. Frontiers of Computer Science in China, 13(1):86-98, 2019. [doi]

Authors

Yi Chu

This author has not been identified. Look up 'Yi Chu' in Google

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

Haihang You

This author has not been identified. Look up 'Haihang You' in Google