Synthesizing Fault-tolerant Clifford Circuits using Boolean Satisfiability

Schmid, L. (Speaker)

Chair of Design Automation

Activity: Talk or presentation › Invited talk

Description

Ludwig Schmid gives a talk on “Synthesizing Fault-tolerant Clifford Circuits using Boolean Satisfiability” at the seminar of the Dipartimento di Matematica of the University of Bologna.

Period	20 May 2025
Held at	University of Bologna, Italy

Keywords

quantum computing