Michael R. Dransfield

Follow

Person

Ellicott City, MD, 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
Information Patent Grant
Method of recovering a gate-level netlist from a transistor-level
- Patent number 6,190,433
- Issue date Feb 20, 2001
- The United States of America as represented by the National Security Agency
- W. Mark Van Fleet
- 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