Granted Patent
Utility
US 6,320,966 · App. 09/065,051
Cryptographic methods for demonstrating satisfiable formulas from propositional logic
Inventor:
Stefanus A. Brands
Patented Case
View Patent ↗
Granted: Nov 20, 2001
Filed: Jun 16, 1998
Inventor
Stefanus A. Brands
This patent predates the USPTO's electronic file wrapper — prosecution documents from this era exist only in the Patent Office's paper records. A certified copy of the file history can be ordered from the USPTO's paper archives.