Constraint Satisfaction Problem - Crossword Puzzle

Introduction

This program is the first program assignment from AI introduction class in NCTU.

Functions Completed

• Brute Force serach (DFS)
• Heuristic to select next variable
  • MRV(Minimum Remaining Value)
  • Max Degree
• Forward Checking
• AC3 Algorithm (maintain arc consistency)

How To Compile

$ make

How To Execute

$ ./main

Detail about this assignment

• please read PR1.pdf

reference

• https://github.com/LinxiFan/Crossword/blob/master/puzzle_rui/csp/csp.py