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 DPLL(T) Cited by user Siddharthist on 29 Nov 2023 In computer science, DPLL(T) is a framework for determining the satisfiability of SMT problems.