TY  - RPRT
TI  - GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
AU  - Curie Kim
AU  - Carsten Portner
AU  - Mingju Liu
AU  - Steve Dai
AU  - Haoxing Ren
AU  - Brucek Khailany
AU  - Alvaro Velasquez
AU  - Ismail Alkhouri
AU  - Cunxi Yu
PY  - 2026
UR  - https://arxiv.org/abs/2603.28796
ID  - 2603.28796
ER  -