Empirical investigation of stochastic local search for maximum satisfiability Frontiers Comput. Sci. 13(1): 86-98 (2019)

Yi Chu, Chuan Luo, Shaowei Cai, Haihang You
January 2019
PDF DOI
Type
Conference paper
Publication
Frontiers of Computer Science
Conf