Author Info
Name
Affiliation
Papers
IOAN DRAGAN
Vienna Univ Technol, Vienna, Austria
1
Collaborators
Citations 
PageRank 
3
1
0.37
Referers 
Referees 
References 
1
25
12
Title
Citations
PageRank
Year
Bound Propagation for Arithmetic Reasoning in Vampire10.372013