Concepedia

John Franco

JF

13

Publications

948

Citations

13

H-Index

1983

Active since

Affiliations

University of Cincinnati(Current)

Indiana University Bloomington

Case Western Reserve University

John Franco is an author at University of Cincinnati specializing in engineering, automated reasoning, and satisfiability.

Top concepts

EngineeringAutomated ReasoningSatisfiabilityComputer ScienceFormal MethodsComputational ComplexityVerificationFormal VerificationProof ComplexityCombinatorial Optimization

Publications per year

1983–2006

13

Publications

13

Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

John Franco, Marvin C. Paull · Discrete Applied Mathematics · 1983 · 231 citations

Engineering, Davis Putnam Procedure, Automated Reasoning +12

Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem

Chao Ming-Te, John Franco · Information Sciences · 1990 · 201 citations

Mathematical Programming, Engineering, Parameterized Complexity +11

Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem

Ming-Te Chao, John Franco · SIAM Journal on Computing · 1986 · 175 citations

Mathematical Programming, Instance Distribution, Engineering +18

A perspective on certain polynomial-time solvable classes of satisfiability

John Franco, Allen Van Gelder · Discrete Applied Mathematics · 2002 · 70 citations

Engineering, Automated Reasoning, Proof Complexity +3

On finding solutions for extended Horn formulas

John S. Schlipf, Fred S. Annexstein, John Franco et al. · Information Processing Letters · 1995 · 59 citations

Method Of Fundamental Solution, Monge-ampere Equation, Extended Horn Formulas +1

Rows per page

1–5 of 13