A Local Search Algorithm for a SAT Representation of Scheduling Problems.
Marco Antonio Cruz-ChavezRafael Rivera-LópezPublished in: ICCSA (3) (2007)
Keyphrases
- search algorithm
- scheduling problem
- satisfiability problem
- heuristic search
- single machine
- max sat
- branch and bound
- search space
- tabu search
- search methods
- search tree
- search algorithm for solving
- simulated annealing
- neural network
- branch and bound algorithm
- phase transition
- selection algorithm
- computational complexity
- job shop
- sequencing problems