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]
No references recorded for this publication.
No citations of this publication recorded.