14
Publications
401
Citations
12
H-Index
1999
Active since
Affiliations
G. Parthasarathy is an author at University of California, Santa Barbara specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationVerificationAutomated ReasoningComputer ArchitectureSatisfiabilityProgram Analysis
Publications per year
1999–2005
14
14
An efficient finite-domain constraint solver for circuits
G. Parthasarathy, M.K. Iyer, Kwang‐Ting Cheng et al. · 2004 · 38 citations
Rows per page
1–5 of 14