SAT-based methods for circuit synthesis

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

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

Originalspracheenglisch
TitelFormal Methods in Computer-Aided Design
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten31-34
ISBN (Print)978-0-9835678-4-4
DOIs
PublikationsstatusVeröffentlicht - 2014
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Lausanne, Schweiz
Dauer: 21 Okt 201424 Okt 2014

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandSchweiz
OrtLausanne
Zeitraum21/10/1424/10/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dies zitieren

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 (S. 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. S. 31-34.

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

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, S. 31-34, Lausanne, Schweiz, 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. S. 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. S. 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 -