Sylvain Boussier Michel Vasquez Yannick Vimont Saïd Hanafi Philippe Michelon Solving the 0-1 Multidimensional Knapsack Problem with Resolution Search http://arxiv.org/abs/0905.0848 2009 CoRR abs/0905.0848 db/journals/corr/corr0905.html#abs-0905-0848 informal publication