Иллюстрации к патенту
2644505
Спецпроцессор для задачи выполнимости булевых формул
