The Golem Horn Solver. - Martin Blicha; Konstantin Britikov; Natasha Sharygina (CAV (2), 2023)

Picky CDCL: SMT-Solving with Flexible Literal Selection. - Konstantin Britikov; Antti E. J. Hyvärinen; Natasha Sharygina (VSTTE, 2023)

SolTG: A CHC-Based Solidity Test Case Generator. - Konstantin Britikov; Ilia Zlatkin; Grigory Fedyukovich; Leonardo Alt; Natasha Sharygina (CAV (1), 2024)

Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. - Konstantin Britikov; Martin Blicha; Natasha Sharygina; Grigory Fedyukovich (FM (1), 2024)