Opzoeken: DPLL-algoritme
- DPLL-algoritme
Het DPLL-algoritme (Davis-Putnam-Logemann-Loveland algoritme) is een algoritme voor het onderzoeken van de vervulbaarheid van een propositie in conjunctieve normaalvorm (dit probleem is ook bekend als CNF-SAT). Het algoritme werd gepubliceerd in 1962 door Martin Davis, Hilary Putnam, George Logeman...
Gevonden op http://nl.wikipedia.org/wiki/DPLL-algoritme
Geen exacte overeenkomst gevonden.
Zoek
Typ een term en klik op `Zoek`. | Handig |
| Woordenboek | |
| Vertalen | |
| Synoniemen | |
Recent gezocht
De laatste zoekopdrachten. Tussen haakjes staan resp. de resultaten en verwante resultaten.• secreet (6/10)
• Azanië (1/0)
• andragologie (2/0)
• KUSSENBANK (1/0)
• Terminal (25/25)
• viminaal (2/0)
• m.u.v. (2/0)
• btw (20/6)
• voeglood (bouwonderdelen) (1/0)
• compagnon (4/5)
• vlijtig (4/2)
• goal (6/11)
• verdroog (2/4)
• visroeper (1/0)
• accuraat (9/1)
• Terminal (25/25)
• vloekwaardig (4/0)
• andragologie (2/0)
• volkuip (3/0)
• verdomboekje (2/0)
• ho (9/25)
• hora matutina (2/0)
• vlekbuiktandkwartel (2/0)
• Holistische visie (1/0)