SAT-based methods for circuit synthesis

Roderick Paul Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing

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

Original languageEnglish
Title of host publicationFormal Methods in Computer-Aided Design
PublisherInstitute of Electrical and Electronics Engineers
Pages31-34
ISBN (Print)978-0-9835678-4-4
DOIs
Publication statusPublished - 2014
EventInternational Conference on Formal Methods in Computer-Aided Design - Lausanne, Switzerland
Duration: 21 Oct 201424 Oct 2014

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountrySwitzerland
CityLausanne
Period21/10/1424/10/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Bloem, R. P., Egly, U., Klampfl, P., Könighofer, R., & Lonsing, F. (2014). SAT-based methods for circuit synthesis. In Formal Methods in Computer-Aided Design (pp. 31-34). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/FMCAD.2014.6987592

SAT-based methods for circuit synthesis. / Bloem, Roderick Paul; Egly, Uwe; Klampfl, Patrick; Könighofer, Robert; Lonsing, Florian.

Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, 2014. p. 31-34.

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

Bloem, RP, Egly, U, Klampfl, P, Könighofer, R & Lonsing, F 2014, SAT-based methods for circuit synthesis. in Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, pp. 31-34, International Conference on Formal Methods in Computer-Aided Design, Lausanne, Switzerland, 21/10/14. https://doi.org/10.1109/FMCAD.2014.6987592
Bloem RP, Egly U, Klampfl P, Könighofer R, Lonsing F. SAT-based methods for circuit synthesis. In Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers. 2014. p. 31-34 https://doi.org/10.1109/FMCAD.2014.6987592
Bloem, Roderick Paul ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian. / SAT-based methods for circuit synthesis. Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, 2014. pp. 31-34
@inproceedings{bb84d979e17841ad8e1837bce62ba5bb,
title = "SAT-based methods for circuit synthesis",
author = "Bloem, {Roderick Paul} and Uwe Egly and Patrick Klampfl and Robert K{\"o}nighofer and Florian Lonsing",
year = "2014",
doi = "10.1109/FMCAD.2014.6987592",
language = "English",
isbn = "978-0-9835678-4-4",
pages = "31--34",
booktitle = "Formal Methods in Computer-Aided Design",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

T1 - SAT-based methods for circuit synthesis

AU - Bloem, Roderick Paul

AU - Egly, Uwe

AU - Klampfl, Patrick

AU - Könighofer, Robert

AU - Lonsing, Florian

PY - 2014

Y1 - 2014

UR - http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/index.shtml

UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6987592

U2 - 10.1109/FMCAD.2014.6987592

DO - 10.1109/FMCAD.2014.6987592

M3 - Conference contribution

SN - 978-0-9835678-4-4

SP - 31

EP - 34

BT - Formal Methods in Computer-Aided Design

PB - Institute of Electrical and Electronics Engineers

ER -