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