Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

En 3 lignesAFSAT est un solveur GPU pour la satisfiabilité pseudo-booléenne basé sur la recherche locale continue. Implémenté en JAX, il utilise la composition de fonctions pures, la vectorisation automatique et la compilation JIT pour paralléliser massivement la recherche sur des batches. Améliore stabilité numérique, performance et efficacité mémoire par rapport au prototype FastFourierSAT.

Résumé généré par Claude — vérifié par l'humain