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.
English Monomorphization Cited by user Citation bot on 12 Dec 2021 In programming languages, monomorphization is a compile-time process where polymorphic functions are replaced by many monomorphic functions for each unique instantiation.