I have served on the faculties of Case Western Reserve University and Indiana University before coming to the University of Cincinnati in 1990. A Research Summary of my projects is available. Toward a good algorithm for determining the unsatisfiability of propositional formulas . To appear in Journal of Global Optimization . J. Franco, and R. Swaminathan.
Average case results for satisfiability algorithms under the random clause model .
To appear in Annals of Mathematics and Artificial Intelligence . K. Berman, J. Franco, and J. Schlipf. Unique satisfiability for Horn sets can be solved in nearly linear time . F. Annexstein, and J. Franco. J. Schlipf, F. Annexstein, J. Franco, and R. Swaminathan.