Lukas Burgholzer
Lukas Burgholzer
Home
Publications
Software
Accomplishments
Light
Dark
Automatic
Tags
equivalence checking
29 Aug 22
quantum computing
29 Aug 22
ZX-calculus
29 Aug 22
Clifford circuits
29 Aug 22
Compilation
29 Aug 22
optimal synthesis
29 Aug 22
SAT
29 Aug 22
decision diagrams
29 Aug 22
Simulation
29 Aug 22
tensor networks
29 Aug 22
»
Cite
×