HR

Harald Ruess

SI Sri International: 1 patents #681 of 1,272Top 55%
📍 Palo Alto, CA: #7,003 of 9,675 inventorsTop 75%
🗺 California: #247,236 of 386,348 inventorsTop 65%
Overall (All Time): #3,277,255 of 4,157,543Top 80%
1
Patents All Time

Issued Patents All Time

Showing 1–1 of 1 patents

Patent #TitleCo-InventorsDate
7653520 Method for combining decision procedures with satisfiability solvers Leonardo De Moura 2010-01-26