| SBSAT: a state-based, BDD-based satisfiability solver J Franco, M Kouril, J Schlipf, J Ward, S Weaver, M Dransfield, W Vanfleet Theory and Applications of Satisfiability Testing, 30-32, 2004 | 49 | 2004 |
| Satisfiability-based Set Membership Filters SA Weaver, KJ Ray, VW Marek, AJ Mayer, AK Walker Journal on Satisfiability, Boolean Modeling and Computation 8, 129-148, 2014 | 34 | 2014 |
| Extending Existential Quantification in Conjunctions of BDDs S Weaver, J Franco, J Schlipf Journal on Satisfiability, Boolean Modeling and Computation 1, 89-110, 2006 | 18 | 2006 |
| Function-complete lookahead in support of efficient SAT search heuristics J Franco, M Kouril, J Schlipf, S Weaver, M Dransfield, WM Vanfleet Journal of Universal Computer Science 10 (12), 1655-1692, 2004 | 17 | 2004 |
| Constructing minimal perfect hash functions using SAT technology S Weaver, M Heule Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1668-1675, 2020 | 12 | 2020 |
| XOR-satisfiability set membership filters SA Weaver, HJ Roberts, MJ Smith Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 7 | 2018 |
| Satisfiability Advancements Enabled by State Machines SA Weaver | 5 | 2012 |
| Satisfiability filter and query tool and method of building a satisfiability filter and query tool VW Marek, AJ Mayer, KJ Ray, SA Weaver US Patent 9,753,484, 2017 | 3 | 2017 |
| Handbook of Combinatorial Optimization, chapter Algorithms for the Satisfiability Problem J Franco, S Weaver Springer, New York, 2013 | 2 | 2013 |
| Extending Existential Quantification in Conjunctions of BDDs SA Weaver University of Cincinnati, 2004 | 2 | 2004 |
| A CNF Analogue to Strengthening S Weaver Morehead Electronic Journal of Applicable Mathematics, 2003 | 2 | 2003 |
| Equivalence checking S Weaver Courses, 0 | 2 | |
| Theory and Applications of Satisfiability Testing–SAT 2015 M Heule, S Weaver | 1 | 2016 |
| Theory and Applications of Satisfiability Testing--SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings M Heule, S Weaver Springer, 2015 | 1 | 2015 |
| Algorithms for the Satisfiability Problem J Franco, S Weaver Handbook of Combinatorial Optimization, 311-454, 2013 | 1* | 2013 |
| Systems and methods of minimal perfect hashing with XORSAT filters SA Weaver US Patent 11,997,186, 2024 | | 2024 |
| ARCFOUR Equivalence Checking S Weaver, MJH Heule Proceedings of SAT Competition 2013; Solver and, 124, 2013 | | 2013 |
| Analysis of Algorithms for Monotonic and Non-Monotonic Reasoning J Franco, J Schlipf, S Weaver | | 2010 |
| Workshop on Satisfiability: Assessing the Progress S Weaver, J Franco, V Marek, M Kouril | | 2008 |
| Cryptol Tutorial Part 2: The Second Part S Weaver | | |
John FrancoUniversity of CincinnatiVerified email at gauss.ececs.uc.edu
