Local Search for Solving Satisfiability of Polynomial Formulas.
Haokun LiBican XiaTianqi ZhaoPublished in: CAV (2) (2023)
Keyphrases
- stochastic local search
- combinatorial optimization
- satisfiability testing
- boolean formula
- satisfiability problem
- random sat instances
- systematic search
- search algorithm
- sat instances
- cnf formula
- search heuristics
- sat solving
- max sat
- np complete
- propositional logic
- random sat
- propositional formulas
- tabu search
- phase transition
- polynomial equations
- propositional satisfiability
- genetic algorithm
- expressive power
- tree search
- memetic algorithm