В данной работе производится расширение инструмента fbSAT (https://github.com/ctlab/fbSAT) для использования техники «предположений» SAT-решателями. Исследуется его эффективность по сравнению с изначальными возможностями инструмента.
Костливцев Н.А. (науч. рук. Чивилихин Д.С., Чухарев К.И.) Расширение fbSAT для использования техники «предположений» // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/7247