research
∙
02/18/2022
Circuit Extraction for ZX-diagrams can be #P-hard
The ZX-calculus is a graphical language for reasoning about quantum comp...
share
research
∙
04/14/2020
Tensor Network Rewriting Strategies for Satisfiability and Counting
We provide a graphical treatment of SAT and #SAT on equal footing. Insta...
research
∙
12/27/2017