Lintao Zhang

Follow

Person

Sunnyvale, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic filter generation and generalization
- Patent number 8,316,448
- Issue date Nov 20, 2012
- Microsoft Corporation
- Marcus Peinado
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reconfigurable hardware accelerator for boolean satisfiability solver
- Patent number 8,131,660
- Issue date Mar 6, 2012
- Microsoft Corporation
- John Davis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed system checker
- Patent number 7,984,332
- Issue date Jul 19, 2011
- Microsoft Corporation
- Junfeng Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Handling of satisfaction and conflicts in a quantified Boolean form...
- Patent number 7,577,625
- Issue date Aug 18, 2009
- Microsoft Corporation
- Lintao Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quantified boolean formula (QBF) solver
- Patent number 7,249,333
- Issue date Jul 24, 2007
- Microsoft Corporation
- Yuan Yu
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DISTRIBUTED SYSTEM CHECKER
- Publication number 20100125758
- Publication date May 20, 2010
- Microsoft Corporation
- Junfeng Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCOMMODATING LEARNED CLAUSES IN RECONFIGURABLE HARDWARE ACCELERATO...
- Publication number 20100057647
- Publication date Mar 4, 2010
- Microsoft Corporation
- John Davis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RECONFIGURABLE HARDWARE ACCELERATOR FOR BOOLEAN SATISFIABILITY SOLVER
- Publication number 20090254505
- Publication date Oct 8, 2009
- Microsoft Corporation
- John Davis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Filter Generation and Generalization
- Publication number 20090113550
- Publication date Apr 30, 2009
- Microsoft Corporation
- Manuel Costa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Handling of satisfaction and conflicts in a quantified Boolean form...
- Publication number 20070179920
- Publication date Aug 2, 2007
- Microsoft Corporation
- Lintao Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Quantified boolean formula (QBF) solver
- Publication number 20060190865
- Publication date Aug 24, 2006
- Microsoft Corporation
- Yuan Yu
- G06 - COMPUTING CALCULATING COUNTING