|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатовстатья
- Авторы: Вартанов С.П., Сидоров Д.В.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 22
- Год издания: 2012
- Первая страница: 281
- Последняя страница: 292
- Добавил в систему: Корныхин Евгений Валерьевич