Muhammed Basharu Inés Arana Hatem Ahriz Solving DisCSPs with Penalty Driven Search. 47-52 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#BasharuAA05