Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2003.10a
- /
- Pages.505-507
- /
- 2003
- /
- 1598-5164(pISSN)
Research of model accumulation to solve SAT Hard instance
Model Accumulation 을 이용한 SAT Hard Instance의 해결 방법 연구
Abstract
SAT 문제는 하드웨어/소프트웨어 검증과 모델 체킹 등 다양한 분야에서 유용하게 사용되고 있으나 복잡도가 NP-complete 라는 어려움을 가지고 있다. 다양한 알고리즘과 휴리스틱, 도구들이 개발되었지만 그럼에도 불구하고 해결할 수 없는 hard instance 들이 존재한다. 이 논문에서는 그러한 hard instance를 해결하기 위한 방법의 하나로 model accumulation을 제안한다.
Keywords