ダウンロード

Max-SATに対する非厳密解法を用いたラグランジュ分解・調整法