Empirical investigation of stochastic local search for maximum satisfiability
Crossref DOI link: https://doi.org/10.1007/s11704-018-7107-z
Published Online: 2018-08-30
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chu, Yi
Luo, Chuan
Cai, Shaowei
You, Haihang
Text and Data Mining valid from 2018-08-30
Article History
Received: 28 March 2017
Accepted: 3 November 2017
First Online: 30 August 2018