Basharu, Muhammed, Arana, Inés, Ahriz, Hatem, "Solving DisCSPs with penalty-driven search.", , 2005