Satz (решатель SAT) - Satz (SAT solver)

SatZ - хорошо известный решатель экземпляров SAT . Его разработал профессор Чу Минь Ли , исследователь компьютерных наук. Z обозначает последнюю версию решателей SAT.

Рекомендации

• Чу Минь Ли и Анбулаган: эвристика, основанная на распространении единиц для задач выполнимости. Труды IJCAI , 366–371, 1997 г.

Эта статья, посвященная алгоритмам или структурам данных, является незавершенной . Вы можете помочь Википедии, расширив ее . v т е