SBSAT: a State-Based, BDD-Based Satisfiability Solver.

John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet

Browse the full SAT paper archive.