German Erfüllbarkeitsproblem der Aussagenlogik Cited by user Mbssdr on 09 Nov 2020 Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.
Serbian ДПЛЛ алгоритам Cited by user SBojana on 02 Jun 2015 У рачунарству, Дејвис–Патнам–Логман–Ловеланд (ДПЛЛ) алгоритам је комплетан, заснован на бектрекинг алгоритмом претраге за одлучивање задовољивости исказне логичке формуле…