Обсуждение:Алгоритм CDCL
Перейти к навигации
Перейти к поиску
 | Эта статья входит в число добротных статей русской Википедии. См. страницу номинации (статус присвоен 16 декабря 2015 года). |
Проект «Информационные технологии» (уровень ДС, важность для проекта средняя)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. Уровень статьи по шкале оценок проекта «Информационные технологии»: добротная статья
Важность статьи для проекта «Информационные технологии»: средняя
|
