SMT и рост сложности: сколько логики выдержит решатель. Никита Борсов, Райффайзен банк https://peertube.lightnode.ru/videos/watch/5d2a0991-296d-4cfd-b0c3-540df6366adf SMT и рост сложности: сколько логики выдержит решатель Никита Борсов Разработчик, Райффайзен банк Если вы никогда не работали с SMT-солверами, вы не одиноки. Несмотря на то, что эти инструменты не часто встречаются в практике Python-специалистов, они способны формулировать и решать задачи там, где обычный код буквально бессилен. В рамках этого доклада я познакомлю вас с основами SMT и покажу, каким мощным и незаменимым может быть этот инструмент. Также разберёмся с масштабируемостью: сколько переменных, логических связей и условий способен выдержать солвер, прежде чем перестанет справляться. Доклад будет полезен всем, кому интересны поиск решений в пространствах высокого уровня сложности, а также инструменты на стыке логики и кода. Tue, 28 Jul 2026 20:01:14 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.lightnode.ru SMT и рост сложности: сколько логики выдержит решатель. Никита Борсов, Райффайзен банк https://peertube.lightnode.ru/client/assets/images/icons/icon-96x96.png https://peertube.lightnode.ru/videos/watch/5d2a0991-296d-4cfd-b0c3-540df6366adf All rights reserved, unless otherwise specified in the terms specified at https://peertube.lightnode.ru/about and potential licenses granted by each content's rightholder.