P

Inventor

NADEL ALEXANDER

IL1 patents

Patents

1 patent
US7730436B2Jun 1, 2010

Verification using simultaneous and inductive SAT algorithms

INTEL CORP4 citations52