3 papers
cs.AI2026
A Study of Parallel Continuous Local Search
Cody J Christopher, Charles Gretton
We study parallel Continuous Local Search (CLS) as a solution approach for Boolean satisfiability problems with symmetric pseudo-Boolean (PB) constraints. Here, the -variable PB…
cs.AI2026
Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver
Cody J Christopher, Charles Gretton
We present Accelerated Fourier SAT (AFSAT), a GPU-accelerated solver for pseudo-Boolean satisfiability based on continuous local search (CLS). AFSAT realises the proof-of-concept a…
physics.plasm-ph2025
Evaluation and Verification of Physics-Informed Neural Models of the Grad-Shafranov Equation
Fauzan Nazranda Rizqan, Matthew Hole, Charles Gretton
Our contributions are motivated by fusion reactors that rely on maintaining magnetohydrodynamic (MHD) equilibrium, where the balance between plasma pressure and confining magnetic…