German DPLL-Algorithmus Cited by user Symphonesis on 20 Jan 2024 In der Logik und Informatik ist der Davis-Putnam-Logemann-Loveland (DPLL)-Algorithmus ein vollständiger, auf Backtracking basierender Suchalgorithmus zur Bestimmung der…
French Franz Baader Cited by user Vers75 on 30 Dec 2023 Franz Baader est un informaticien allemand, né le 15 juin 1959 à Spalt. Il est titulaire de la chaire de théorie des automates à la Faculté d'informatique de la TU…
English Franz Baader Cited by user Citation bot on 26 Aug 2017 He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years.