Method and system for non-linear state based satisfiability

John Franco, John S. Schlipf, Michael Dransfield, and W. Mark Vanfleet

Joint University of Cincinnati and U.S. DoD assignees, U.S. Patent Office Nos. 6,912,700 (June, 2005) and 7,380,224 (May, 2008).

Digital Demodulation of Frequency Shift Keyed Data Signals

John Franco

Bell Telephone Laboratories assignee, U.S. Patent Office No. 3,846,708 (November, 1974).