Quantum Physics using Weighted Model Counting

MaRDI QIDQ7191037arXivFDO

Authors Dirck van den Ende, Joon Lee, Alfons W. Laarman

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Quantum computation (81P68) Disordered systems (random Ising models, random Schrödinger operators, etc.) in equilibrium statistical mechanics (82B44)

arXiv classification

quant-ph

This page was built for publication: Quantum Physics using Weighted Model Counting

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