Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

Georg Hofferek (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Period21 Oct 2013
Held atInternational Conference on Formal Methods in Computer-Aided Design
Event typeConference
LocationPortland, Oregon, United States