Christian Bessiere Emmanuel Hebrard Brahim Hnich Zeynep Kiziltan Toby Walsh http://arxiv.org/abs/0903.0471 2009 CoRR abs/0903.0471 db/journals/corr/corr0903.html#abs-0903-0471 informal publication