Alan M. Frisch Ian Miguel Zeynep Kiziltan Brahim Hnich Toby Walsh Multiset Ordering Constraints http://arxiv.org/abs/0905.3769 2009 CoRR abs/0905.3769 db/journals/corr/corr0905.html#abs-0905-3769 informal publication