Finding Photonics Circuits via $\hat{I}´$-weakening SMT

Marco Lewis, Benoît Valiron

For quantum computers based on photonics, one main problem is the synthesis of a photonic circuit that emulates quantum computing gates. The problem requires using photonic compone…