Author Info
Name
Affiliation
Papers
VINCENT LIEW
Univ Washington, Seattle, WA 98195 USA
3
Collaborators
Citations 
PageRank 
2
7
1.16
Referers 
Referees 
References 
21
87
49
Title
Citations
PageRank
Year
Toward Verifying Nonlinear Integer Arithmetic10.362017
Finding the Median (Obliviously) with Bounded Space10.352015
New Limits for Knowledge Compilation and Applications to Exact Model Counting50.452015