@misc{indiciae0bdb6259abfe,
  title = {SAT Sampling at Scale via GPU-based Boolean Constraint Propagation},
  author = {Alexander Nadel and Yogev Shalmon and Ofer Strichman},
  year = {2026},
  url = {https://arxiv.org/abs/2610.28805},
  note = {Source identifier: 2610.28805}
}