Додати до списку

Є складовою частиною документа Электронное моделирование [Текст] = Electronic Modeling. – 2012. – Т. 34, № 3.

Теми документа

• Ключові слова/S/SAT-задача
• Ключові слова/А/алгоритм, algorithm/алгоритм розв'язку, алгоритм решения
• Ключові слова/С/складність, сложность/сложность субэкспоненциальная