Peng, Cong
Applying aspiration in local search for satisfiability. [electronic resource]
- PloS one 2020
- e0231702 p. digital
Publication Type: Journal Article; Research Support, Non-U.S. Gov't
1932-6203
10.1371/journal.pone.0231702 doi
Algorithms
Heuristics
Probability
Stochastic Processes