Алгоритм Espresso
Материал из Модулярная арифметики
Версия от 10:09, 11 февраля 2013; Turbo (обсуждение | вклад)
Espresso - компьютерная программа, использующая эффективные эвристически алгоритмы для минимизации булевых функций.[1]. Espresso была разработана в IBM Робертом Брайтоном. Вслед за Espresso появились новые программы и алгоритмы использующие предложенные в программе идеи.
Содержание |
Программное обеспечение
Исходники Espresso
The source of the original Espresso program is available from the website of the University of California, Berkeley, at Pubs/Downloads/Espresso. A version of Espresso that has been updated for modern POSIX systems is available at [1]
Logic Friday
Logic Friday - бесплатная программа под Windows с графическим интерфейсом. Logic Friday доступна на сайте http://www.sontrak.com.
Примечания
Ошибка цитирования Для существующего тега
<ref> не найдено соответствующего тега <references/>
