Towards Tensor-Network SAT-Solvers for Quantum-Classical Workflows

Benjamin Zec, Lukas Schmidbauer, Maja Franz, Wolfgang Mauerer

arXivarxiv/2608.02041Aug 3, 2026quant-phscore 0

Integrated HPC/QC systems aim to combine classical high-performance computing with quantum processors, but cannot be reduced to mechanisms for dispatching quantum kernels. An integrated architecture must support aspects such as observability, which cannot be implemented using QPUs alone, as well as fallback execution and cost-aware decisions on whether to replace quantum tasks with classical surrogates. Such mechanisms must be approximate or benefit from problem structure to soften the inescapable exponential classical worst-case complexity. In this work, we study tensor-network ground-state…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2608.02041
curl -X POST /api/v1/records/arxiv/2608.02041/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.02041/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'