@inproceedings{ DBLP:conf/ijcai/KitchingB109,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {KB1_IJCAI09.pdf},
  booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)},
  author = {Matthew Kitching and Fahiem Bacchus},
  year = {2009},
  title = {Exploiting Decomposition on Constraint Problems with High Tree-Width},
  pages = {525-531}
}