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]

Abstract

Abstract is missing.