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 KonferenzbandBegutachtung

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
Land/GebietSchweiz
OrtLausanne
Zeitraum21/10/1424/10/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren