Czech DPLL(T) Cited by user Jj14 on 23 Feb 2024 V informatice je DPLL(T) technika pro stanovení splnitelnosti problémů SMT (splnitelnost modulo teorie).
English Aarti Gupta (computer scientist) Cited by user Citation bot on 15 Jan 2024 Aarti Gupta is a computer scientist working in formal methods, Electronic Design Automation, and programming languages.
Swedish Satisfierbarhet modulo teorier Cited by user Planetwrench on 22 Oct 2020 Satisfierbarhet modulo teorier (SMT) är en formaliserad utökning av logiska formler inom datavetenskap och matematisk logik.