pith. sign in

Sparsification of SAT and CSP problems via tractable extensions

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

2 Pith papers citing it

years

2026 1 2025 1

verdicts

UNVERDICTED 2

representative citing papers

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 2 of 2 citing papers.

  • Many Hamiltonians Are Sparsifiable quant-ph · 2026-05-04 · unverdicted · none · ref 85

    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 · 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.