Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов
Аннотация
Список литературы
1. Исаев, И. К. Сидоров Д. В. Применение динамического анализа для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах. Программирование [№ 4]. 2010. 16 с.
2. С. В. Зеленов, С. А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. Труды ИСП РАН, том 14. 109-118 с. Москва, 2008.
3. Davis M., Logemann G., Loveland D. A machine program for theorem proving // Communication of the ACM. 1962. P. 394-397.
4. Новикова Н. М. Основы оптимизации. Москва. 1998. 17-22 c.
5. Eén N., Sörensson N. MiniSat solver [HTML] (http://minisat.se/)
6. Katelman M., Soos M. STP Constraint Solver [HTML] (http://sites.google.com/site/stpfastprover/)
Рецензия
Для цитирования:
Вартанов С.П., Сидоров Д.В. Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов. Труды Института системного программирования РАН. 2012;22.
For citation:
Vartanov S., Sidorov D. Optimization of Boolean satisfiability solver by caching intermediate results. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2012;22. (In Russ.)