Home›Browse›DPLL-Algorithmus🌐DeutschEnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsРусскийالعربيةفارسی中文日本語EntityQ2030088· pop 17· linked from 32 articlesDPLL-AlgorithmusSign in to saveAlso known as Davis-Putnam-Logemann-Loveland algorithmalgorithm for solving the CNF-SAT problemAvailable in 16 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةCatalanHungarianNederlandsSerbianUkrainianفارسیvia Wikidata sitelinks · CC0