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