Granted Patent
Utility
US 6,556,978 · App. 09/520,920
Satisfiability algorithms and finite quantification
Inventors:
Matthew L. Ginsberg, Andrew Parkes
Patented Case
View Patent ↗
Granted: Apr 29, 2003
Filed: Mar 8, 2000
Inventors
Matthew L. Ginsberg
Andrew Parkes
Assignee (at issue)
The State of Oregon Acting by and through the State Board of Higher Education on Behalf of the University of Oregon
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.