Author Info
Name
Affiliation
Papers
ANSHUL GARG
Indian Inst Technol, Dept Comp Sci & Engn, Kanpur 208016, Uttar Pradesh, India
1
Collaborators
Citations 
PageRank 
1
2
0.37
Referers 
Referees 
References 
6
16
5
Title
Citations
PageRank
Year
Synthesizing Heap Manipulations via Integer Linear Programming.20.372015