Solving the all-interval series problem: SAT vs CP
SAT v CSP