Rina Dechter Kalev Kask Eyal Bin Roy Emek Generating Random Solutions for Constraint Satisfaction Problems. 15-21 2002 AAAI/IAAI db/conf/aaai/aaai2002.html#DechterKBE02