Sean A. Weaver
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2003–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | AAAI | Constructing Minimal Perfect Hash Functions Using SAT Technology. | Sean A. Weaver, Marijn Heule |
| 2018 | SAT | XOR-Satisfiability Set Membership Filters. | Sean A. Weaver, Hannah J. Roberts, Michael J. Smith |
| 2003 | SAT | 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 |