Spanish Francisco Umaña Cited by user Juandax on 02 May 2024 Francisco Umaña Bernal (1901-1982) fue un periodista, político y diplomático colombiano, miembro del Partido Liberal Colombiano.
English Satisfiability modulo theories Cited by user Siddharthist on 04 Dec 2023 In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.