Ian P. Gent Ewan MacIntyre Patrick Prosser Barbara M. Smith Toby Walsh Random Constraint Satisfaction: Flaws and Structure. 345-372 2001 6 Constraints 4 db/journals/constraints/constraints6.html#GentMPSW01