Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelFMCAD 2013 - Formal Methods in Computer-Aided Design
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten77-84
ISBN (Print)978-0-9835678-3-7
PublikationsstatusVeröffentlicht - 2013
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, USA / Vereinigte Staaten
Dauer: 20 Okt 201323 Okt 2013

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandUSA / Vereinigte Staaten
OrtPortland, Oregon
Zeitraum20/10/1323/10/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application

Dieses zitieren