한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
- /
- Pages.487-492
- /
- 2007
- /
- 1598-5164(pISSN)
수도쿠 풀이를 위한 새로운 SAT 인코딩
A New SAT Encoding for Solving Sudoku
- Park, Jun-Kil (Department of Computer Science and Engineering Korea University) ;
- Choi, Jin-Young (Department of Computer Science and Engineering Korea University)
- 발행 : 2007.06.25
초록
수도쿠를 푸는 것은 오락으로서 뿐 아니라 컴퓨터 계산 문제로서도 흥미롭다. 수도쿠는 minimal과 extended 인코딩을 통해 SAT로 변환되고, 탐색이 아닌 추론기술의 반복 적용을 통해 다항시간에 해를 찾을 수 있다. minimal과 extended 인코딩은 직관적이지만 고차 수도쿠(
키워드