ALGORITMO SATSA

    Se encuentran soluciones proximas al óptimo (cotas superiores), de Job shop scheduling, en dos pasos.

1- Se propone una secuencia y se codifica esta en Forma Normal Conjuntiva, y se evalua la formula logica resultante para ver si es satisfactible, la evaluacion de esta fórmula se obtienen por medio de los tiempos de inicio tardios (rutas mas largas) de cada operación.

2.- Si la FNC es SAT entonces se aplica Recocido simulado. La temperatura de inicio es el Makespan obtenido de la secuencia satisfactible del punto anterior. El esquema de perturbación es a traves de vecindades (trabajos) , aqui  se elige aleatoriamente una vecindad y se perturba al vecino (operacion que pertenece a la vecindad) con el tiempo de inicio mas temprano. Posteriormente se encuentra un schedule factible de la nueva secuencia.

Se anexa el programa con sus archivos de ejemplos: Para que pueda funcionar este programa, tienen que guardarse en un directorio llamado jobshop junto con los archivos mfc40d.dll y msvcr40d.dll, que se pueden bajar de la página principal.

c:\jobshop