@inproceedings{ DBLP:conf/ijcai/KitchingB07,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  title = {Symmetric Component Caching}
}
,
  ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-017.pdf}
}
,
  booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)}
}
,
  author = {Matthew Kitching and Fahiem Bacchus}
}
,
  url = {KBijcai07.pdf}
}
,
  year = {2007}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {118-124}
}