Symbolically Synthesizing Small Circuits

Rüdiger Ehlers, Robert Könighofer, Georg Hofferek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)
Publisher.
Pages91-100
Publication statusPublished - 2012
EventInternational Conference on Formal Methods in Computer-Aided Design - Cambridge, United Kingdom
Duration: 22 Oct 201225 Oct 2012

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited Kingdom
CityCambridge
Period22/10/1225/10/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this