Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
- Georg Hofferek (Speaker)
Activity: Talk or presentation › Talk at conference or symposium › Science to science
Activity: Talk or presentation › Talk at conference or symposium › Science to science