Константин Чухарев - От SAT к SMT: новый рубеж в решении задач и формальной верификации