@inproceedings{ DBLP:conf/ijcai/BacchusW05,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {BWIJCAI05.pdf},
  booktitle = {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005)},
  author = {Fahiem Bacchus and Toby Walsh},
  pages = {35-40},
  ee = {http://www.ijcai.org/papers/0543.pdf},
  year = {2005},
  title = {Propagating Logical Combinations of Constraints},
  bibsource = {DBLP http://dblp.uni-trier.de}
}