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).
German Barbara König (Informatikerin) Cited by user Wibramuc on 28 Oct 2017 Barbara König ist eine deutsche Informatikerin. Sie leitet den Lehrstuhl für Theoretische Informatik an der Fakultät für Ingenieurwissenschaften der Universität Duisburg-E…