On the Effect of Learned Clauses on Stochastic Local Search.
Jan-Hendrik LorenzFlorian WörzPublished in: CoRR (2020)
Keyphrases
- stochastic local search
- random sat instances
- satisfiability problem
- combinatorial optimisation
- phase transition
- randomly generated
- random sat
- first order logic
- solving hard
- sat problem
- max sat
- tree search
- sat instances
- cnf formula
- computationally hard problems
- information retrieval
- boolean satisfiability
- optimization problems
- search algorithm