알고리즘서지만 확인
GRASP: a search algorithm for propositional satisfiabilityJ. P. Marques-Silva, K. A. Sakallah · 1999IEEE Transactions on Computers 48(5), 506–521쪽 (1999)충돌이 난 까닭을 분석해 새 절을 배우고 여러 단계를 한꺼번에 되돌아가는 SAT 탐색 알고리즘 GRASP 을 내놓은 논문으로 널리 인용된다. 충돌 주도 절 학습(CDCL) 풀이기의 출발점으로 꼽힌다. 「최악의 경우 지수 시간이지만 산업 현장의 수백만 변수 문제를 푼다」는 SAT 풀이기의 현실을 P 대 NP 와 나란히 설명하려는 글이 인용한다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인했다(본문은 열지 못함).