Anubhav Gupta

Follow

Person

Princeton, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Dynamic detection and removal of inactive clauses in SAT with appli...
- Patent number 6,496,961
- Issue date Dec 17, 2002
- NEC USA, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Dynamic detection and removal of inactive clauses in sat with appli...
- Publication number 20020053064
- Publication date May 2, 2002
- NEC USA, INC.
- Aarti Gupta
- G01 - MEASURING TESTING