Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFMCAD 2013 - Formal Methods in Computer-Aided Design
PublisherInstitute of Electrical and Electronics Engineers
Pages77-84
ISBN (Print)978-0-9835678-3-7
Publication statusPublished - 2013
EventInternational Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, United States
Duration: 20 Oct 201323 Oct 2013

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CityPortland, Oregon
Period20/10/1323/10/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application

Cite this