#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1986

2015

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Ming-Te Chao, John V. Franco
- Inf. Sci.
- 1990

Two algorithms for the k-Satissability problem are presented and a probabilistic analysis is performed. The analysis is based on an instance distribution which is parameterized to simulate a varietyâ€¦ (More)

- Ming-Te Chao, John V. Franco
- SIAM J. Comput.
- 1986

An algorithm for the 3-Satissability problem is presented and a probabilistic analysis is performed. The analysis is based on an instance distribution which is parameterized to simulate a variety ofâ€¦ (More)

- John V. Franco, Allen Van Gelder
- Discrete Applied Mathematics
- 2003

The scope of certain well-studied polynomial-time solvable classes of Satis ability is investigated relative to a polynomial-time solvable class consisting of what we call matched formulas. The classâ€¦ (More)

- John S. Schlipf, Fred S. Annexstein, John V. Franco, Ramjee P. Swaminathan
- Inf. Process. Lett.
- 1995

In this note we present a simple quadratic-time algorithm for solving the satissability problem for a special class of boolean formulas. This class properly contains the class of extended Hornâ€¦ (More)

- John V. Franco
- Theor. Comput. Sci.
- 2001

- John V. Franco
- Inf. Process. Lett.
- 1986

- John V. Franco
- SIAM J. Comput.
- 1991

We consider pre-processing a random instance I of CNF Satissability in order to remove infrequent variables (those which appear once or twice in an instance) from I. The model used to generate randomâ€¦ (More)

- John V. Franco, Judy Goldsmith, John S. Schlipf, Ewald Speckenmeyer, Ramjee P. Swaminathan
- Discrete Applied Mathematics
- 1999

Heusch introduced the notion of pure implicational formulas. He showed that the falsiiability problem for pure implicational formulas with k negations is solvable in time O(n k). Such falsiiabilityâ€¦ (More)

- John A. Brown, Robert Henry Brophy, +4 authors Bert R. Mandelbaum
- The American journal of sports medicine
- 2007

BACKGROUND
Given the increasing use of allografts in anterior cruciate ligament reconstruction, selection of appropriate-sized grafts may help individual surgeons as well as the efficiency of theâ€¦ (More)

- John V. Franco, Michal Kouril, +4 authors W. Mark Vanfleet
- SAT
- 2003

We present a new approach to SAT solvers, supporting efficient implementation of highly sophisticated search heuristics over a range of propositional inputs, including CNF formulas, but particularlyâ€¦ (More)