Sean A. Weaver

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 3

Top Topics

Order Preserving

Top Venues

J. Satisf. Boolean Model. Comput.

Publications

Sean A. Weaver, Marijn Heule
Constructing Minimal Perfect Hash Functions Using SAT Technology. AAAI (2020)
Sean A. Weaver, Marijn Heule
Constructing Minimal Perfect Hash Functions Using SAT Technology. CoRR (2019)
Sean A. Weaver, Hannah J. Roberts, Michael J. Smith
XOR-Satisfiability Set Membership Filters. SAT (2018)
Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden Walker
Satisfiability-based Set Membership Filters. J. Satisf. Boolean Model. Comput. 8 (3/4) (2014)
Sean A. Weaver, John V. Franco, John S. Schlipf
Extending Existential Quantification in Conjunctions of BDDs. J. Satisf. Boolean Model. Comput. 1 (2) (2006)
John V. Franco, Michal Kouril, John S. Schlipf, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. J. Univers. Comput. Sci. 10 (12) (2004)
John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet
SBSAT: a State-Based, BDD-Based Satisfiability Solver. SAT (2003)