works on
ancilla management 1circuit depth optimization 1parallel clause evaluation 1quantum oracle synthesis 1sat solving 1

From the 1 of 1 linked paper with an AI index.

collaborators
Showing quant-phShow all

1 paper · 1 filter

quant-ph2026

From Leaves to Clusters: Depth-Efficient SAT-Oracle Synthesis Based on the HRSE Model

Zhihang Li, Wei Zi, Shuai Yang +7

The paper introduces a depth‑focused framework called the Clustered Synthesis Tree (CST) for building quantum oracles for SAT formulas, grouping clauses into clusters to exploit pa…