A Graphical #SAT Algorithm for Formulae with Small Clause Density - Tuomas Laakkonen | TQC 2023
Channel: Squid: Schools for Quantum Information Development
Date: 25/08/2023

Tuomas Laakkonen
A Graphical #SAT Algorithm for Formulae with Small Clause Density 

https://arxiv.org/abs/2212.08048  
We study the counting version of the Boolean satisfiability problem #SAT using the ZH-calculus, a graphical language originally introduced to reason about quantum circuits. 

July 28, 2023
----------------------------

TQC 2023 | 24-28 July 2023, University of Aveiro, Portugal
http://tqc-conference.org

18th Conference on the  Theory of Quantum Computation, Communication and Cryptography.

TQC is a leading annual international conference for students and researchers working in the theoretical aspects of quantum information science. The scientific objective is to bring together the theoretical quantum information science community to present and discuss the latest advances in the field.


Organisation:
Squids - Schools for Quantum Information Development  
Universidade de Aveiro: Departamento de Matemática, CIDMA & Fábrica


Sponsors:
Phasecraft, UK
Google Quantum AI, USA
QuSoft, The Netherlands
Quantum for Life Centre, Denmark
Technology Innovation Institute, UAE
ML4Q, Germany
Dulwich Quantum