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 (SAT, 2003)

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. - John V. Franco; Michal Kouril; John S. Schlipf; Sean A. Weaver; Michael R. Dransfield; W. Mark Vanfleet (J. Univers. Comput. Sci., 2004)

Extending Existential Quantification in Conjunctions of BDDs. - Sean A. Weaver; John V. Franco; John S. Schlipf (J. Satisf. Boolean Model. Comput., 2006)

Satisfiability-based Set Membership Filters. - Sean A. Weaver; Katrina J. Ray; Victor W. Marek; Andrew J. Mayer; Alden Walker (J. Satisf. Boolean Model. Comput., 2014)

XOR-Satisfiability Set Membership Filters. - Sean A. Weaver; Hannah J. Roberts; Michael J. Smith 012 (SAT, 2018)

Constructing Minimal Perfect Hash Functions Using SAT Technology. - Sean A. Weaver; Marijn Heule (AAAI, 2020)