Raghav Aras Alain Dutech François Charpillet Mixed Integer Linear Programming For Exact Finite-Horizon Planning In Decentralized Pomdps http://arxiv.org/abs/0707.2506 2007 CoRR abs/0707.2506 db/journals/corr/corr0707.html#abs-0707-2506 informal publication