Section outline

    • Definition & Applications
    • Backtracking Search
    • Filtering and Propagation
    • General Heuristics (MRV, Degree Heuristic, LCV)
    • Forward Checking
    • Arc-Consistency (AC-3)
    • Min-Conflicts