Weaver, S., Roberts, H., Smith, M., XOR-Satisfiability Set Membership Filters. International Conference on Theory and Applications of Satisfiability Testing, 2018, 401-418.

Published here.


Weaver, S., Ray, K., Marek, V., Mayer, A., Walker, A., Satisfiability-based Set Membership Filters. Journal on Satisfiability, Boolean Modeling and Computation, Volume 8, 2014, 129-148.

Published here, Presentation here.


Weaver, S. A., "Satisfiability Enhancements Enabled by State Machines," Ph. D. Dissertation, Department of Computer Science, University of Cincinnati, Cincinnati, OH, 2012.

Published here, Available here.


Weaver, S., Franco, J., Schlipf, J. S., Extending existential quantification in conjunctions of BDDs. Journal on Satisfiability, Boolean Modeling and Computation, Volume 1, 2006, 89-110.

Published here.


Franco, J., Kouril, M., Schlipf, J. S., Weaver, S., Dransfield, M., Vanfleet, W. M., Function-complete lookahead in support of efficient SAT search heuristics. Journal of Universal Computer Science, Know Center and IICM, Graz University, Austria, 2004,1655-1695.

Published here.


Franco, J., Kouril, M., Schlipf, J. S., Ward, J., Weaver, S., Dransfield, M., Vanfleet, W. M., SBSAT: a state-based, BDD-based Satisfiability solver. Lecture Notes in Computer Science, 2919, Springer, New York, 2003, 398–410.

Published here.


Weaver, S., A CNF analogue to strengthening. Morehead Electronic Journal of Applicable Mathematics CS-2002-02, 2002.

Published here.

Publications