title: Deciding satisfiability of SMT formulas over bit vectors using integer arithmetic
metadata.name: dc.contributor.advisor
metadata.value: Ицыксон Владимир Михайлович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Icykson Vladimir Mihajlovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Балай Павел Игоревич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Balaj Pavel Igorevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Шалымов Дмитрий Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Salymov Dmitrij Sergeevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:49:35Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:49:35Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 085267
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46203
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Разработка подхода к проверке выполнимости SMT формул в теории битовых векторов с помощью проверки выполнимости в теории целых чисел
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: Development of an approach to verifying the satisfiability of SMT formulas in the theory of bit vectors by checking the satisfiability in the theory of integers
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: SMT
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: транслирование
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: int-blasting
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: SMT
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Deciding satisfiability of SMT formulas over bit vectors using integer arithmetic
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Разработка подхода к проверке выполнимости SMT формул в теории битовых векторов с помощью проверки выполнимости в теории целых чисел
metadata.lang: ru_RU
resources.filename: thesis_4.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46203/2/thesis_4.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 1,73 MB
resources.filename: reviewSV_st085267_Balaj_Pavel_Igorevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/46203/3/reviewSV_st085267_Balaj_Pavel_Igorevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 3,28 kB