@inproceedings{ DBLP:conf/ijcai/KitchingB209,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {KB2_IJCAI09.pdf},
  booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)},
  author = {Matthew Kitching and Fahiem Bacchus},
  year = {2009},
  title = {Set Branching in Constraint Optimization},
  pages = {532-537}
}