Jim Grundy (Intel Corporation)

Identifiers

• name variant Jim Grundy (Intel Corporation) 0.60 · backfill

Papers (1)

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

Mentions

• 1111.5652 #3 · backfill · confidence 0.70 Jim Grundy (Intel Corporation)

Frequent Coauthors

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