TY  - RPRT
TI  - Towards Tensor-Network SAT-Solvers for Quantum-Classical Workflows
AU  - Benjamin Zec
AU  - Lukas Schmidbauer
AU  - Maja Franz
AU  - Wolfgang Mauerer
PY  - 2026
UR  - https://arxiv.org/abs/2608.02041
ID  - 2608.02041
ER  -