MaxSAT 로컬 서치 솔버의 Anytime 성능 분석을 통한 더 나은 이해와 구성

MaxSAT 로컬 서치 솔버의 Anytime 성능을 통해 더 나은 매개변수 설정을 찾을 수 있음.