Granted Patent
Utility
US 6,651,234 · App. 09/985,124
Partition-based decision heuristics for SAT and image computation using SAT and BDDs
Inventors:
Aarti Gupta, Zijiang Yang, Pranav Ashar, Sharad Malik
Patented Case
View Patent ↗
Granted: Nov 18, 2003
Filed: Nov 1, 2001
Inventors
Aarti Gupta
Zijiang Yang
Pranav Ashar
Sharad Malik
Assignee (at issue)
NEC CORPORATION
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.