Ewan MacIntyre Patrick Prosser Barbara M. Smith Toby Walsh Random Constraint Satisfaction: Theory Meets Practice. 325-339 http://link.springer.de/link/service/series/0558/bibs/1520/15200325.htm 1998 conf/cp/1998 CP db/conf/cp/cp98.html#MacIntyrePW98