Publications

92 results for Ruchir Puri

Logic optimization by output phase assignment in dynamic logic synthesis
- - R. Puri
  - Andrew Bjorksten
  - et al.
- 1996
- ICCAD 1996
A BDD SAT solver for satisfiability testing: An industrial case study
- - Ruchir Puri
  - Jun Gu
- 1996
- Ann. Math. Artif. Intell.