John Schlipf

Follow

Person

Cincinnati, OH, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for non-linear state based satisfiability
- Patent number 7,380,224
- Issue date May 27, 2008
- The United States of America as represented by the National Security Agency
- John V. Franco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for non-linear state based satisfiability
- Patent number 6,912,700
- Issue date Jun 28, 2005
- The United States of America as represented by the National Security Agency
- John V. Franco
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and system for non-linear state based satisfiability
- Publication number 20050171747
- Publication date Aug 4, 2005
- The United States of America as represented by the National Security Agency
- John V. Franco
- G06 - COMPUTING CALCULATING COUNTING