Вернуться к Подробностям о статье Параллельные алгоритмы решения проблемы выполнимости в применении к оптимизационным задачам с булевыми ограничениями Скачать Скачать PDF