@TechReport{PipatsrisawatD151,
author =       "Knot Pipatsrisawat and Adnan Darwiche",
title =        "A Lightweight Component Caching Scheme for Satisfiability Solvers",
institution =  "Automated Reasoning Group, Computer Science
Department, UCLA",
number =       "D--151",
year =         "2007"}