When you first learn about Constraint Satisfaction Problems (CSPs)—think Sudoku, scheduling, or map coloring—you usually meet the type: Exhaustive Search with Exponential Backtracking .
Here's a general guide comparing Ex (example) and Pro (professional) CSP solutions: ex vs pro csp
But in production, latency matters. You don't want a solver that thrashes. You want : Propagation-based, Proactive solving . When you first learn about Constraint Satisfaction Problems