International Conference on Formal Methods in Computer-Aided Design

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: SAT-Based Methods for Circuit Synthesis
Period22 Oct 2014
Held atInternational Conference on Formal Methods in Computer-Aided Design
Event typeConference
LocationLausanne, Switzerland