Author Info
Name
Papers
Collaborators
MIN-CHUAN CHEN
1
1
Citations 
PageRank 
Referers 
0
0.34
0
Referees 
References 
26
9
Title
Citations
PageRank
Year
USAT: An Integrated Platform for Satisfiability Solving and Model Checking00.342008