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