Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Радиоэлектроника. Электротехника. Связь » Электроника. Электротехника
Каталог товаров:
 |
DPLL-Алгоритм742 руб
е. High Quality Content by WIKIPEDIA articles! Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) - это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т. 2013. для решения задачи CNF-SAT. |