Max k-Weight SATの近似スキームと近似カーネルの改善：Greedy Strikes Back

Ka,b-free Max k-Weight SATに対する(1 - ǫ)-近似カーネルを提供しました。