Florin Manea

Z3alphaを紹介するよ、モンテカルロツリーサーチを使った新しいSMT戦略生成法だ。