pith. sign in

Sparsification of SAT and CSP problems via tractable extensions

3 Pith papers cite this work. Polarity classification is still indexing.

3 Pith papers citing it

years

2026 2 2025 1

verdicts

UNVERDICTED 3

clear filters

representative citing papers

Quantum Cut Sparsifiers

quant-ph · 2026-06-08 · unverdicted · novelty 7.0

Any n-qubit QC Hamiltonian sparsifies to Õ(n/ε²) terms preserving all state energies within 1±ε using invariant subspace decomposition and the Alon-Kozma operator inequality.

Many Hamiltonians Are Sparsifiable

quant-ph · 2026-05-04 · unverdicted · novelty 7.0

Many r-local Hamiltonians, including Pauli strings, random high-rank operators, and high-rank operators, admit sparsifications with o(n^r) terms that (1±ε)-approximate the original Hamiltonian on all states.

Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa

cs.DS · 2025-07-23 · unverdicted · novelty 7.0

Introduces strong sparsification for 1-in-3-SAT by merging variables, relying on a sub-quadratic vector-set bound derived from the Polynomial Freiman-Ruzsa Theorem, with an application to hypergraph coloring approximation.

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa cs.DS · 2025-07-23 · unverdicted · none · ref 35

    Introduces strong sparsification for 1-in-3-SAT by merging variables, relying on a sub-quadratic vector-set bound derived from the Polynomial Freiman-Ruzsa Theorem, with an application to hypergraph coloring approximation.