Investigation of Efficient Heuristics for a State-Based Satisfiability Solver

John Franco (PI), Anne Cross, Shikha Goyal

Computer Research Associates, Committee on the Status of Women in Computing Research, $6,500, 2006-2007.

Satisfiability Research and Development to Enhance Formal Verification Tools

John Franco (PI), John S. Schlipf, Michal Kouril, Sean Weaver

U.S. Department of Defense, $561,821, 2001-2004.

Satisfiability Research and Development to Enhance Formal Verification Tools

John Franco (PI), John S. Schlipf, Robert Price, Jeffrey Ward, Sean Weaver

U.S. Department of Defense, $493,000, 1999-2001.

Translating PERL to Java

John Franco (PI) and Brad Kuhn

USENIX, $20,000 - Kuhn obtained this scholarship on his own with some consultation from me

Complexity of Algorithms for Problems in Propositional Logic

John Franco (PI), John Schlipf, Chris Gianella

Office of Naval Research, N00014-94-1-0382, 1/1/94--3/31/97, $260,000, 1994-1997.

Graphical Remedial Assessment and Cost Evaluation

John Franco

U.S. Environmental Protection Agency, $36,400 (administered through CERL) 1994-1995.

A GRACE interface for GRASS

John Franco and Humberto Zuazaga

U.S. Army Corps of Engineers, $75,000, 1994-1995.

GRACE equipment grant

John Franco

EDUCOM, Ohio Board of Regents, $10,000, 1992-1993.

Graphical Remedial Assessment and Cost Evaluation

Kevin Savage (PI), Lawrence Murdoch, and John Franco

U.S. Environmental Protection Agency 68-C9-0031;WA2-33, $61,400, 1992-1993.

Computer Assisted Site Evaluation: System Development and Technical Assistance

John Franco, Elizabeth Spencer, and Kevin Savage (PI)

U.S. Environmental Protection Agency 68-C9-0031;WA2-5, $375,000, 1991-1993.

Computer Assisted Analysis of Trench Design

John Franco, Larry Murdoch, and James Uber

U.S. Environmental Protection Agency 68-C9-0031;WA2-1, $22,000, 1991-1992.

Data Compilation: It's Design and Analysis

John Franco (PI) and Daniel P. Friedman

Air Force Office of Scientific Research 89-0186, $109,000, 1988-1990.

Probabilistic Analysis of Algorithms For NP-Complete Problems

John Franco (PI)

Air Force Office of Scientific Research 84-0372, $261,000, 1984-1989.

Probabilistic Analysis of Algorithms for NP-Complete Problems

John Franco (PI)

Air Force Office of Scientific Research 82-0331, $99,000, 1982-1984.