Susmit Jha (Intel Strategic CAD Lab)

Identifiers

• name variant Susmit Jha (Intel Strategic CAD Lab) 0.60 · backfill

Papers (1)

1. Proceedings 3rd Workshop on Synthesis cs.LO · 2014 · author #3

Mentions

• 1407.4937 #3 · arxiv_oai · confidence 0.70 Susmit Jha (Intel Strategic CAD Lab)
• 1407.4937 #3 · backfill · confidence 0.70 Susmit Jha (Intel Strategic CAD Lab)

Frequent Coauthors

• Krishnendu Chatterjee (IST Austria) 1 shared papers
• R\"udiger Ehlers (University of Bremen) 1 shared papers