| Algorithms for the satisfiability (SAT) problem: A survey. J Gu, PW Purdom, JV Franco, BW Wah Satisfiability problem: Theory and applications 35, 19-152, 1996 | 513 | 1996 |
| Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem J Franco, M Paull Discrete Applied Mathematics 5 (1), 77-87, 1983 | 352 | 1983 |
| Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem C Ming-Te, J Franco Information Sciences 51 (3), 289-314, 1990 | 203 | 1990 |
| Probabilistic analysis of two heuristics for the 3-satisfiability problem MT Chao, J Franco SIAM Journal on Computing 15 (4), 1106-1118, 1986 | 163 | 1986 |
| A perspective on certain polynomial-time solvable classes of satisfiability J Franco, A Van Gelder Discrete Applied Mathematics 125 (2-3), 177-214, 2003 | 122 | 2003 |
| Algorithms for the satisfiability (sat) problem J Gu, PW Purdom, J Franco, BW Wah Handbook of Combinatorial Optimization: Supplement Volume A, 379-572, 1999 | 118* | 1999 |
| On finding solutions for extended Horn formulas JS Schlipf, FS Annexstein, JV Franco, RP Swaminathan Information Processing Letters 54 (3), 133-137, 1995 | 103 | 1995 |
| On the probabilistic performance of algorithms for the satisfiability problem J Franco Information Processing Letters 23 (2), 103-106, 1986 | 70 | 1986 |
| A History of Satisfiability. J Franco, J Martin Handbook of satisfiability 185, 3-74, 2009 | 69 | 2009 |
| Results related to threshold phenomena research in satisfiability: lower bounds J Franco Theoretical Computer Science 265 (1-2), 147-157, 2001 | 56 | 2001 |
| Costs of quadtree representation of nondense matrices DS Wise, J Franco Journal of Parallel and Distributed Computing 9 (3), 282-296, 1990 | 56 | 1990 |
| Elimination of infrequent variables improves average case performance of satisfiability algorithms J Franco SIAM Journal on Computing 20 (6), 1119-1127, 1991 | 53 | 1991 |
| SBSAT: a state-based, BDD-based satisfiability solver J Franco, M Kouril, J Schlipf, J Ward, S Weaver, M Dransfield, ... Theory and Applications of Satisfiability Testing: 6th International …, 2004 | 49 | 2004 |
| Probabilistic analysis of the pure literal heuristic for the satisfiability problem J Franco Annals of Operations Research 1, 273-289, 1984 | 45 | 1984 |
| Computing the well-founded semantics faster KA Berman, JS Schlipf, JV Franco Logic Programming and Nonmonotonic Reasoning: Third International Conference …, 1995 | 43 | 1995 |
| Probabilistic performance of a heuristic for the satisfiability problem J Franco, YC Ho Discrete Applied Mathematics 22 (1), 35-51, 1988 | 41 | 1988 |
| Resolution tunnels for improved SAT solver performance M Kouril, J Franco International Conference on Theory and Applications of Satisfiability …, 2005 | 33 | 2005 |
| Method and system for non-linear state based satisfiability JV Franco, WM VanFleet, J Schlipf, MR Dransfield US Patent 6,912,700, 2005 | 32 | 2005 |
| Algorithms for the satisfiability problem J Gu, P Purdom, J Franco, BW Wah Cambridge, 1999 | 30 | 1999 |
| The analysis of constant drawdown wells using instantaneous source functions LC Murdoch, J Franco Water resources research 30 (1), 117-124, 1994 | 29 | 1994 |
Sean WeaverUniversity of CincinnatiVerified email at uwe.nsa.gov
Sean WeaverUniversity of CincinnatiVerified email at uwe.nsa.gov