Fomina Viktorovna Viktoriia

Publications in Math-Net.Ru

1. MaxSMT solver with portfolio mode support
   
   Proceedings of ISP RAS, 37:4(1) (2025),  177–188