@misc{indiciaea3cfc04b3d09,
  title = {GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra},
  author = {Curie Kim and Carsten Portner and Mingju Liu and Steve Dai and Haoxing Ren and Brucek Khailany and Alvaro Velasquez and Ismail Alkhouri and Cunxi Yu},
  year = {2026},
  url = {https://arxiv.org/abs/2603.28796},
  note = {Source identifier: 2603.28796}
}