SWORD - Module-based SAT Solving.

Published in: Algorithms and Applications for Next Generation SAT Solvers (2009)