research
∙
12/15/2022
A Graphical #SAT Algorithm for Formulae with Small Clause Density
We study the counting version of the Boolean satisfiability problem #SAT...
share
research
∙
03/11/2021
Classifying Complexity with the ZX-Calculus: Jones Polynomials and Potts Partition Functions
The ZX-calculus is a graphical language which allows for reasoning about...
research
∙
02/25/2021
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer
Quantum Natural Language Processing (QNLP) deals with the design and imp...
research
∙
05/08/2020
