Author Info
Name
Affiliation
Papers
TZU-CHIEN HSU
Natl Taiwan Univ, Grad Inst Elect Engn, Dept Elect Engn, Taipei 10617, Taiwan
1
Collaborators
Citations 
PageRank 
2
8
0.49
Referers 
Referees 
References 
14
31
14
Title
Citations
PageRank
Year
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving.80.492015