1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Extending CDCL to disjunctions of parity equations
Paul Beame, Glenn Sun
Because CDCL produces proofs in the Resolution proof system, problems provably hard for Resolution are also provably hard for CDCL. Exponentially shorter proofs can sometimes be fo…
cs.DS2024★ 1 cited
E-Graphs as Circuits, and Optimal Extraction via Treewidth
Glenn Sun, Yihong Zhang, Haobin Ni
We demonstrate a new connection between e-graphs and Boolean circuits. This allows us to adapt existing literature on circuits to easily arrive at an algorithm for optimal e-graph…
cs.DS2021
Deterministic Graph Coloring in the Streaming Model
Sepehr Assadi, Andrew Chen, Glenn Sun
Recent breakthroughs in graph streaming have led to the design of single-pass semi-streaming algorithms for various graph coloring problems such as -coloring, degeneracy-col…