@inproceedings{ DBLP:conf/cp/Bacchus07,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {../Presentations/Caching_in_Backtracking.ppt},
  booktitle = {Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007)},
  author = {Fahiem Bacchus},
  pages = {1-1},
  ee = {http://dx.doi.org/10.1007/978-3-540-74970-7_1},
  year = {2007},
  title = {Caching in Backtracking Search (Invited Talk)},
  bibsource = {DBLP http://dblp.uni-trier.de}
}