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 contributionResearchpeer-review

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

Hofferek, G., Gupta, A., Könighofer, B., Jiang, J-H. R., & Bloem, R. P. (2013). Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. In FMCAD 2013 - Formal Methods in Computer-Aided Design (pp. 77-84). Institute of Electrical and Electronics Engineers.

Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. / Hofferek, Georg; Gupta, Ashutosh; Könighofer, Bettina; Jiang, Jie-Hong Roland; Bloem, Roderick Paul.

FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, 2013. p. 77-84.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Hofferek, G, Gupta, A, Könighofer, B, Jiang, J-HR & Bloem, RP 2013, Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. in FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, pp. 77-84, International Conference on Formal Methods in Computer-Aided Design, Portland, Oregon, United States, 20/10/13.
Hofferek G, Gupta A, Könighofer B, Jiang J-HR, Bloem RP. Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. In FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers. 2013. p. 77-84
Hofferek, Georg ; Gupta, Ashutosh ; Könighofer, Bettina ; Jiang, Jie-Hong Roland ; Bloem, Roderick Paul. / Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, 2013. pp. 77-84
@inproceedings{b58f0fc0f62744d8a3e34370da2484f1,
title = "Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof",
author = "Georg Hofferek and Ashutosh Gupta and Bettina K{\"o}nighofer and Jiang, {Jie-Hong Roland} and Bloem, {Roderick Paul}",
year = "2013",
language = "English",
isbn = "978-0-9835678-3-7",
pages = "77--84",
booktitle = "FMCAD 2013 - Formal Methods in Computer-Aided Design",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

T1 - Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

AU - Hofferek, Georg

AU - Gupta, Ashutosh

AU - Könighofer, Bettina

AU - Jiang, Jie-Hong Roland

AU - Bloem, Roderick Paul

PY - 2013

Y1 - 2013

M3 - Conference contribution

SN - 978-0-9835678-3-7

SP - 77

EP - 84

BT - FMCAD 2013 - Formal Methods in Computer-Aided Design

PB - Institute of Electrical and Electronics Engineers

ER -