Quantum Physics Using Weighted Model Counting - https://arxiv.org/abs/2508.21288
Asymptotic size of the Karp-Sipser Core in Configuration Model
The PRODSAT phase of random quantum satisfiability
Sparse random models in combinatorics
The full rank condition for sparse random matrices
Warning Propagation: stability and subcriticality
The Sparse Parity Matrix∗
Warning propagation on random graphs
The number of satisfying assignments of random 2‐SAT formulas