TY  - RPRT
TI  - SAT Sampling at Scale via GPU-based Boolean Constraint Propagation
AU  - Alexander Nadel
AU  - Yogev Shalmon
AU  - Ofer Strichman
PY  - 2026
UR  - https://arxiv.org/abs/2610.28805
ID  - 2610.28805
ER  -