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…