Describir: Técnicas de optimización basadas en lógica para problemas discretos/continuos en ingeniería de procesos