title: Development of a MaxSMT solver supporting portfolio mode
metadata.name: dc.contributor.advisor
metadata.value: Меньшутин Алексей Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Mensutin Aleksej Sergeevic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Фомина Виктория Викторовна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Fomina Viktoria Viktorovna
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Литвинов Юрий Викторович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Litvinov Urij Viktorovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:47:58Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:47:58Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 063259
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/45824
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Эта работа посвящена созданию MaxSMT-решателя в рамках Kotlin-библиотеки KSMT. Реализованный решатель поддерживает режим портфолио, что подразумевает одновременный запуск нескольких MaxSMT-решателей и использование решения от завершившего работу первым. В ходе исследования продемонстрировано: режим портфолио на многих примерах значительно сокращает время решения.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: This work is dedicated to the creation of a MaxSMT solver within the KSMT library in Kotlin. The implemented solver supports a portfolio mode, which implies the simultaneous launch of several MaxSMT solvers and the use of the solution from the one that finished first. The research demonstrated that the portfolio mode significantly reduces the solution time in many examples.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: MaxSMT-решатель
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: MaxSMT
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: KSMT
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: оптимизация
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: SMT-решатель
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: MaxSMT solver
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: MaxSMT
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: KSMT
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: optimization
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: SMT solver
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Development of a MaxSMT solver supporting portfolio mode
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Разработка MaxSMT-решателя, поддерживающего режим портфолио
metadata.lang: ru_RU
resources.filename: Fomina_diploma.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45824/2/Fomina_diploma.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 1,93 MB
resources.filename: reviewSV_Fomina_otzyv_naucnogo_rukovoditela_na_VKR.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45824/3/reviewSV_Fomina_otzyv_naucnogo_rukovoditela_na_VKR.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 106,3 kB
resources.filename: reviewSV_st063259_Fomina_Viktoria_Viktorovna_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/45824/4/reviewSV_st063259_Fomina_Viktoria_Viktorovna_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,38 kB