Svyatoslav Gryaznov

研究がランダムな論理文の証明サイズに関する重要な発見を明らかにした。