Author Info
Name
Affiliation
Papers
TAI JOON PARK
Computer Science Department, University of California, Santa Cruz, California
1
Collaborators
Citations 
PageRank 
1
20
1.14
Referers 
Referees 
References 
41
19
9
Title
Citations
PageRank
Year
Partitioning methods for satisfiability testing on large formulas201.141996