Сложность языков C/C++ делает трудным практическое применение SAT-решателей через их программные интерфейсы, а стандартный формат записи задач SAT – DIMACS – не позволяет динамически добавлять ограничения в процессе решения. В докладе предлагается программный интерфейс для использования современных SAT-решателей в приложениях на языках Java и Kotlin, реализованный с помощью технологии JNI.
Гречишкина Д., Чухарев К.И. (науч. рук. Чивилихин Д.С.) Программный интерфейс для SAT-решателей на основе технологии JNI // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/4456