Skip to main navigation Skip to search Skip to main content

Synthesizing Fault-tolerant Clifford Circuits using Boolean Satisfiability

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.
Period20 May 2025
Held atDIBINEM, Alma Mater Studiorum, University of Bologna, Italy

Keywords

  • quantum computing