SAT vs CSP: a commentary

Open in new window