Describir: Tecnicas de optimizacion basadas en logica para probelmas discretos/continuos en ingenieria de procesos