TY  - GEN
AU  - Peng,Cong
AU  - Xu,Zhongwei
AU  - Mei,Meng
TI  - Applying aspiration in local search for satisfiability
SN  - 1932-6203
PY  - 2020///0715
KW  - Algorithms
KW  - Heuristics
KW  - Probability
KW  - Stochastic Processes
N1  - Publication Type: Journal Article; Research Support, Non-U.S. Gov't
UR  - https://doi.org/10.1371/journal.pone.0231702
ER  -