Иллюстрации к патенту
2474871
Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул
