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