Evokex at the SBFT 2024 Tool Competition. - Rustam Sadykov; Azat Abdullin; Marat Akhin (SBFT@ICSE, 2024)

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis. - Rustam Sadykov; Azat Abdullin; Marat Akhin (CoRR, 2025)