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]
@article{ChuLCY19,
title = {Empirical investigation of stochastic local search for maximum satisfiability},
author = {Yi Chu and Chuan Luo and Shaowei Cai and Haihang You},
year = {2019},
doi = {10.1007/s11704-018-7107-z},
url = {https://doi.org/10.1007/s11704-018-7107-z},
researchr = {https://researchr.org/publication/ChuLCY19},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {13},
number = {1},
pages = {86-98},
}