이 논문은 최소 모델 계수를 위한 새로운 지식 컴파일러 KC-min을 제안한다. KC-min은 순환 불가능한 불린 공식에 대해 #P 복잡도의 최소 모델 계수를 달성하고, 순환 불린 공식에 대해서는 정당화 개념을 활용하여 최소 모델을 추출한다.