Can complexity and solvability of logical problems be visualized as geometric manifolds using spectral analysis?

In my recent work, I’ve explored transforming Boolean satisfiability (SAT) problems into spectral signals using Fourier and Walsh-Hadamard transforms. By applying UMAP on spectral features like...

01 June 2025 120 1 View