1
분쟁 중심 조항 학습 역 추적 설명
wikipedia 페이지 에서 CDCL 알고리즘에 대해 잘 설명하고 있습니다 (사진은 Princeton의 Sharad Malik이 만든 슬라이드에서 가져온 것 같습니다). 그러나 모든 역 추적 방법을 설명 할 때는 "적절한 시점까지"라고 말합니다. MiniSAT는 또한 CDCL 알고리즘의 변형을 사용하므로이 논문을 읽었습니다.. 그들이 말하는 것처럼 배운 조항이 단위 조항이 될 때까지 역 추적해야한다는 것입니다. 그것은 …