Implementing a test for tractability (Constraints, 2004)

(untitled) - Gault, R; Jeavons, P