Search Results: DPLL

Weiterleitung nach:

DPLL-Algorithmus
Kamis, 2025-09-18 15:56:57

In der Logik und Informatik ist der Davis-Putnam-Logemann-Loveland (DPLL)-Algorithmus ein vollständiger, auf Backtracking basierender Suchalgorithmus zur...

Click to read more »
Erfüllbarkeitsproblem der Aussagenlogik
Minggu, 2026-03-15 19:01:35

choose-literal(F); # Mit Kurzschlussauswertung für das Oder return DPLL({F : l = true}) or DPLL({F : l = true}); # Dabei wenden unit-propagate(l, F) und pure-literal-assign(l...

Click to read more »
Phasenregelschleife
Kamis, 2025-04-03 21:56:11

Z-Transformation. Ein Vorteil von DPLLs besteht in der leichteren Reproduzierbarkeit. Die Klassifizierung, ab welchem Umfang eine PLL als DPLL zu werten ist, ist in...

Click to read more »
Harald Ganzinger
Senin, 2022-01-03 16:01:34

analysis based on ordered resolution Set constraints are the monadic class DPLL (T): Fast decision procedures Attribute coupled grammars Kurt Mehlhorn, Uwe...

Click to read more »
Leonardo de Moura
Sabtu, 2026-01-31 16:12:27

Forschungsschwerpunkte liegen in der Entwicklung von Entscheidungsverfahren wie DPLL(T), Quantorenbehandlung (u. a. effizientes E-Matching) und der Kombination...

Click to read more »
Davis-Putnam-Verfahren
Rabu, 2023-07-05 15:18:24

konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem DPLL (Davis-Putnam-Logemann-Loveland)-Algorithmus, verwechselt werden. Klausel:...

Click to read more »
Martin Davis
Selasa, 2024-07-02 22:16:27

Davis-Putnam-Verfahren und der Davis-Putnam-Logemann-Loveland-Algorithmus (DPLL). Martin Davis erhielt 1974 den Lester Randolph Ford Award und 1975 den Chauvenet-Preis...

Click to read more »
Einheitsresolution
Minggu, 2025-10-12 17:02:56

oder der Negation einer Variablen. Einheitsresolution wird unter anderem im DPLL-Algorithmus verwendet und ist eine wichtige Komponente von vielen SAT-Solvern...

Click to read more »