Similar Items: State Canonization and Early Pruning in Width-Based Automated Theorem Proving
- Quantum state isomorphism problems for groups
- The Exact Replica Threshold for Nonlinear Moments of Quantum States
- TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
- Proof Systems Based on Structured Circuits
- Boolean PCSPs through the lens of Fourier Analysis
- On the Hardness of Finding Temporally Connected Subgraphs of Any Size