RUS
ENG
Full version
PEOPLE
Sobol Valentyn
Publications in Math-Net.Ru
MaxSMT solver with portfolio mode support
Proceedings of ISP RAS
,
37
:4(1) (2025),
177–188
©
Steklov Math. Inst. of RAS
, 2026
