@INPROCEEDINGS{knot07lightweight,
  AUTHOR = "Pipatsrisawat, Knot and Darwiche, Adnan",
  TITLE  = "A Lightweight Component Caching Scheme for Satisfiability Solvers",
  BOOKTITLE = "Proceedings of 10th International Conference on Theory and Applications of Satisfiability Testing(SAT)",
  YEAR = 2007,
  PAGES = "294--299"
}