A graphical \#SAT algorithm for formulae with small clause density

DOI10.4204/EPTCS.406.7MaRDI QIDQ6934065zbMATH OpenFDO

Authors Konstantinos Meichanetzidis, John van de Wetering

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

ZH-calculus\#SAT algorithm

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

This page was built for publication: A graphical \#SAT algorithm for formulae with small clause density

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934065)