Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

  • Georg Hofferek (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Zeitraum21 Okt. 2013
EreignistitelInternational Conference on Formal Methods in Computer-Aided Design
VeranstaltungstypKonferenz
OrtPortland, Oregon, USA / Vereinigte StaatenAuf Karte anzeigen