A survey of intelligent optimization algorithms for solving satisfiability problems.
Lan YangXiaofeng WangHongsheng DingYi YangXingyu ZhaoLichao PangPublished in: J. Intell. Fuzzy Syst. (2023)
Keyphrases
- satisfiability problem
- stochastic local search
- intelligent optimization
- np complete
- learning algorithm
- computational complexity
- computational efficiency
- orders of magnitude
- phase transition
- optimization methods
- genetic algorithm
- objective function
- search algorithm
- optimization problems
- combinatorial optimization
- solving hard