Abdelrahman Hosny

機械学習を使ってMILPソルバーの設定を予測する方法。

torchmSATは、複雑なMaxSATの課題を効率的に解決するために機械学習を使ってるんだ。