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, Available here, Presentation 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.
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.
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, Available here.
Weaver, S., A CNF analogue to strengthening. Morehead Electronic Journal of Applicable Mathematics CS-2002-02, 2002.
