Pith. sign in

Title resolution pending

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

quant-ph 1

years

2026 1

verdicts

CONDITIONAL 1

representative citing papers

Encoding Circuit Satisfiability in Rydberg Atom Arrays

quant-ph · 2026-08-13 · conditional · novelty 7.0

A gate-level compiler maps Boolean circuits to weighted king-subgraph MWIS instances on Rydberg arrays, cutting atom counts by about 22x versus CNF-based encoding.

citing papers explorer

Showing 1 of 1 citing paper.

  • Encoding Circuit Satisfiability in Rydberg Atom Arrays quant-ph · 2026-08-13 · conditional · none · ref 1

    A gate-level compiler maps Boolean circuits to weighted king-subgraph MWIS instances on Rydberg arrays, cutting atom counts by about 22x versus CNF-based encoding.