A lightweight component caching scheme for satisfiability solvers
An Extensible SAT-solver