Sean A. Weaver

Orcid: 0000-0001-9883-4473

Affiliations:

National Security Agency, Information Assurance Research Group, Fort George G. Meade, MD, USA

According to our database¹, Sean A. Weaver authored at least 6 papers between 2003 and 2020.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

Constructing Minimal Perfect Hash Functions Using SAT Technology.

[BibT_eX]

[DOI]

Sean A. Weaver

Marijn Heule

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

XOR-Satisfiability Set Membership Filters.

[BibT_eX]

[DOI]

Sean A. Weaver

Hannah J. Roberts

Michael J. Smith

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2014

Satisfiability-based Set Membership Filters.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2014

2006

Extending Existential Quantification in Conjunctions of BDDs.

[BibT_eX]

[DOI]

Sean A. Weaver

John V. Franco

John S. Schlipf

J. Satisf. Boolean Model. Comput., 2006

2004

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.

[BibT_eX]

[DOI]

Michael R. Dransfield

W. Mark Vanfleet

J. Univers. Comput. Sci., 2004

2003

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

[BibT_eX]

[DOI]

Michael R. Dransfield

W. Mark Vanfleet

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Sean A. Weaver

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...