Christof Teuscher gave an invited presentation at the Workshop on Logic Synthesis and Emerging Technologies, which was held at the Swiss Federal Institute of Technology (EPFL) in Lausanne, Switzerland, Sep 28-29, 2017.