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