Home›Browse›DPLL algorithm🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsРусскийالعربيةفارسی中文日本語EntityQ2030088· pop 17· linked from 32 articlesDPLL algorithmSign 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