#### Filter Results:

#### Publication Year

1986

2008

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

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 of sample characteristics. The algorithms assign values to literals appearing in a given instance of k-Satissability, one at a time, until a solution is found… (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 sample characteristics. The algorithm assigns values to variables appearing in a given instance of 3-Satissability, one at a time, using the unit clause… (More)

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

The scope of certain well-studied polynomial-time solvable classes of Satisfiability is investigated relative to a polynomial-time solvable class consisting of what we call matched formulas. The class of matched formulas has not been studied in the literature, probably because it seems not to contain many challenging formulas. Yet, we find that, in some… (More)

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

- David S. Wise, John V. Franco
- J. Parallel Distrib. Comput.
- 1990

- Nadia Creignou, Hervé Daudé, John V. Franco
- Discrete Applied Mathematics
- 2005

- Kenneth A. Berman, John V. Franco, John S. Schlipf
- Discrete Applied Mathematics
- 1995

If a Horn set I has a single satisfying truth assignment or model then that model is said to be unique for I. The question of determining whether a unique model exists for a given Horn set I is shown to be solved in O((L) L) time, where L is the sum of the lengths of the clauses in I and is the inverse Ackermann function. It is also shown that if L A log(A)… (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 formulas 1] and balanced formulas 2, 4]. Previous algorithms for these classes require testing membership in the classes. However, the problem of recognizing balanced… (More)

- 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 instances is the popular random-clause-sizemodel with parametersn, the number of clauses, r, the number of Boolean variables from which clauses are composed,… (More)

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