Local Search for Solving Satisfiability of Polynomial Formulas.
Haokun LiBican XiaTianqi ZhaoPublished in: CoRR (2023)
Keyphrases
- stochastic local search
- satisfiability testing
- boolean formula
- satisfiability problem
- combinatorial optimization
- search algorithm
- random sat instances
- sat solving
- systematic search
- search heuristics
- random sat
- search space
- polynomial equations
- sat problem
- genetic algorithm
- propositional formulas
- propositional logic
- memetic algorithm
- simulated annealing
- propositional satisfiability
- np complete
- tabu search
- global search
- max sat
- search procedure
- evolutionary algorithm
- constraint propagation
- conjunctive normal form
- sat solvers
- particle swarm optimization
- phase transition