El día 7 de mayo a las 17:00 en el Aula A02 del Edificio Ada Byron contaremos con la presencia de la profesora Mădălina ERAŞCU, profesora en el Computer Science Department de la West University of Timisoara, de Rumanía. También es investigadora del Instituto e-Austria de Timisoara.
Esta actividad está integrada en los programas de intercambio Erasmus para docencia, y se impartirá dentro de la asignatura Algoritmia Básica del Grado en Ingeniería Informática.
Bio.
Mădălina ERAŞCU is Associate Professor in the Department of Computer Science of West University of Timisoara.
She is interested in developing algorithmic methods for building and maintaining reliable algorithms. To achieve this goal, she combines theoretical research in formal methods, satisfiability checking and symbolic computation motivated by practical applications in Cloud Computing, Big Data and Machine/Deep Learning.
Abstract.
Linear programming (LP) is a method used to optimize a linear objective function, subject to linear equality and inequality constraints. Optimization Modulo Theories (OMT) is a computational approach that extends Satisfiability Modulo Theories (SMT) to address optimization problems. While SMT focuses on determining the satisfiability of logical formulas within specific theories (such as linear arithmetic, arrays, or bit-vectors), OMT aims to find an optimal solution for these formulas under given objective functions. Popular OMT solvers include Z3 and OptiMathSAT.
In this lecture, we will present a brief introduction of SMT techniques, exemplify how to use an OMT solver to solve a LP problem and showcase an application when OMT solvers are more efficient than LP solvers.
Enlaces: