Georg Hofferek

Identifiers

• name variant Georg Hofferek 0.60 · backfill

Papers (1)

1. Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof cs.LO · 2013 · author #1

Mentions

• 1308.4767 #1 · backfill · confidence 0.70 Georg Hofferek

Frequent Coauthors

• Ashutosh Gupta 1 shared papers
• Bettina K\"onighofer 1 shared papers
• Jie-Hong Roland Jiang 1 shared papers
• Roderick Bloem 1 shared papers