Ka,b-free Max k-Weight SAT: Approximate Kernel

Ka,b-free Max k-Weight SAT의 근사 커널을 제시하고, 실행 시간과 변수 수를 개선함.