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 contribution

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