Preprint
Aug 2026
Towards Tensor-Network SAT-Solvers for Quantum-Classical Workflows
The findings suggest that surrogate selection in HPC/QC runtimes must be encoding- and instance-aware and provide empirical groundwork for informed decisions on fallback strategies and architecture co-design.
Benjamin Zec, Lukas Schmidbauer, Maja Franz et al.
· 0 citations