TY  - RPRT
TI  - Learning to Rank the Initial Branching Order of SAT Solvers
AU  - Arvid Eriksson
AU  - Gabriel Poesia
AU  - Roman Bresson
AU  - Karl Henrik Johansson
AU  - David Broman
PY  - 2026
UR  - https://arxiv.org/abs/2603.07176
ID  - 2603.07176
ER  -