Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1499.68025; Zbl 1499.68026]. For Parts I and III of the proceedings of the present conference see [Zbl 1529.68046; Zbl 1529.68047].
Indexed articles:
Niemetz, Aina; Preiner, Mathias, Bitwuzla, 3-17 [Zbl 07787545]
Jeż, Artur; Lin, Anthony W.; Markgraf, Oliver; Rümmer, Philipp, Decision procedures for sequence theories, 18-40 [Zbl 07787546]
Kori, Mayuko; Ascari, Flavio; Bonchi, Filippo; Bruni, Roberto; Gori, Roberta; Hasuo, Ichiro, Exploiting adjoints in property directed reachability analysis, 41-63 [Zbl 07787547]
Garcia-Contreras, Isabel; Hari Govind, V. K.; Shoham, Sharon; Gurfinkel, Arie, Fast approximations of quantifier elimination, 64-86 [Zbl 07787548]
Li, Haokun; Xia, Bican; Zhao, Tianqi, Local search for solving satisfiability of polynomial formulas, 87-109 [Zbl 07787549]
Goldberg, Eugene, Partial quantifier elimination and property generation, 110-131 [Zbl 07787550]
Yang, Jiong; Meel, Kuldeep S., Rounding meets approximate model counting, 132-162 [Zbl 07787551]
Ozdemir, Alex; Kremer, Gereon; Tinelli, Cesare; Barrett, Clark, Satisfiability modulo finite fields, 163-186 [Zbl 07787552]
Lotz, Kevin; Goel, Amit; Dutertre, Bruno; Kiesl-Reiter, Benjamin; Kong, Soonho; Majumdar, Rupak; Nowotka, Dirk, Solving string constraints using SAT, 187-208 [Zbl 07787553]
Blicha, Martin; Britikov, Konstantin; Sharygina, Natasha, The Golem Horn solver, 209-223 [Zbl 07787554]
Tsai, Ming-Hsien; Fu, Yu-Fu; Liu, Jiaxiang; Shi, Xiaomu; Wang, Bow-Yaw; Yang, Bo-Yin, CoqCryptoLine: a verified model checker with certified results, 227-240 [Zbl 07787555]
Stanford, Caleb; Veanes, Margus, Incremental dead state detection in logarithmic time, 241-264 [Zbl 07787556]
Wu, Wenhao; Hückelheim, Jan; Hovland, Paul D.; Luo, Ziqing; Siegel, Stephen F., Model checking race-freedom when “sequential consistency for data-race-free programs” is guaranteed, 265-287 [Zbl 07787557]
Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang, Searching for i-good lemmas to accelerate safety model checking, 288-308 [Zbl 07787558]
Beutner, Raven; Finkbeiner, Bernd; Frenkel, Hadar; Metzger, Niklas, Second-order hyperproperties, 309-332 [Zbl 07787559]
Li, Yannan; Wang, Jingbo; Wang, Chao, Certifying the fairness of KNN in the presence of dataset bias, 335-357 [Zbl 07787560]
Henzinger, Thomas A.; Karimi, Mahyar; Kueffner, Konstantin; Mallik, Kaushik, Monitoring algorithmic fairness, 358-382 [Zbl 07787561]
Zhang, Yedi; Song, Fu; Sun, Jun, QEBVerif: quantization error bound verification of neural networks, 413-437 [Zbl 07787564]
Amir, Guy; Maayan, Osher; Zelazny, Tom; Katz, Guy; Schapira, Michael, Verifying generalization in deep learning, 438-455 [Zbl 07787565]