Статья

Костливцев Н.А. (науч. рук. Чивилихин Д.С., Чухарев К.И.) Расширение fbSAT для использования техники «предположений»
УДК тезиса: 004.4'242

В данной работе производится расширение инструмента fbSAT (https://github.com/ctlab/fbSAT) для использования техники «предположений» SAT-решателями. Исследуется его эффективность по сравнению с изначальными возможностями инструмента.

Авторы:

Костливцев Никита Алексеевич

Руководитель:

Чивилихин Даниил Сергеевич, Чухарев Константин Игоревич

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