Для цитирования:

Вартанов С.П., Сидоров Д.В. Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов. Труды Института системного программирования РАН. 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.)