Research on Neighborhood Search Strategy of Artificial Bee Colony Algorithm for Satisfiability Problems.
Ying GuoChangsheng ZhangPublished in: ISCID (1) (2017)
Keyphrases
- search strategy
- satisfiability problem
- artificial bee colony algorithm
- search algorithm
- search strategies
- search space
- hybrid algorithm
- np complete
- particle swarm optimization algorithm
- phase transition
- temporal logic
- sat problem
- search methods
- artificial bee colony
- effective pruning
- branch and bound
- search problems
- tabu search
- search tree
- motif discovery
- stochastic local search
- particle swarm optimization
- heuristic search
- hill climbing
- data structure
- optimization algorithm