Скатков, А.В., д-р техн. наук, проф., Севастопольский национальный технический университет; Борисевич, А.В., аспирант, Севастопольский национальный технический университет
(Севастопольский национальный технический университет, 2008)
Предложена структура аппаратного средства, реализующего алгоритм стохастического локального поиска WalkSAT для решения задач выполнимости, отличающаяся эффективным использованием трассировочных и логических ресурсов больших ...