Login / Signup
Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization.
Yi Chu
Chuan Luo
Holger H. Hoos
Qingwei Lin
Haihang You
Published in:
CoRR (2020)
Keyphrases
</>
stochastic local search
satisfiability problem
combinatorial optimisation
solving hard
total weight
randomly generated
sat instances
neural network
np complete
sat problem
computationally hard problems