Propuesta de una metodología de programación de operaciones detallada para órdenes de trabajo en operaciones secuenciales a través de algoritmos heurísticos basados en lógica proposicional articulados sobre una serie de autómatas programables - Rincón Chaparro, Miguel Ángel (PQDT - Global, 2017)