Amit Goel (Intel Corporation)

Identifiers

• name variant Amit Goel (Intel Corporation) 0.60 · backfill

Papers (1)

1. Ground interpolation for the theory of equality cs.LO · 2011 · author #2

Mentions

• 1111.5652 #2 · backfill · confidence 0.70 Amit Goel (Intel Corporation)

Frequent Coauthors

• Alexander Fuchs (The University of Iowa) 1 shared papers
• Cesare Tinelli (The University of Iowa) 1 shared papers
• Jim Grundy (Intel Corporation) 1 shared papers
• Sava Krsti\'c (Intel Corporation) 1 shared papers