Peixin Zhong

Follow

Person

Princeton, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and apparatus for SAT solver architecture with very low synt...
- Patent number 6,415,430
- Issue date Jul 2, 2002
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Configurable hardware system implementing Boolean Satisfiability an...
- Patent number 6,247,164
- Issue date Jun 12, 2001
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementation of boolean satisfiability with non-chronological bac...
- Patent number 6,038,392
- Issue date Mar 14, 2000
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING