The shifting bottleneck procedure for job shop scheduling
Management Science
Simulated annealing and Boltzmann machines: a stochastic approach to combinatorial optimization and neural computing
WSEAS Transactions on Computers
Golden ratio annealing for satisfiability problems using dynamically cooling schemes
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Hi-index | 0.01 |
The representation of Job Shop Scheduling Problem (JSSP) as the well known Satisfiabilty Problem (SAT) is useful to find feasible schedules in an efficient way. One of the most efficient SAT codifications of JSSP is RSF (Reduced Sat Codification) which transforms any JSSP instance to a 3-SAT problem. In this paper a new method called GASAT (Golden Annealing with SAT codification) is presented. Starting with a random JSSP solution, GASAT finds its 1-SAT representation and evaluates whether it is feasible or not. Experimentation presented in the paper shows that both, the new codification and algorithm are more efficient than the ones previously reported.