@misc{indiciae2b0972e64e0b,
  title = {Learning to Rank the Initial Branching Order of SAT Solvers},
  author = {Arvid Eriksson and Gabriel Poesia and Roman Bresson and Karl Henrik Johansson and David Broman},
  year = {2026},
  url = {https://arxiv.org/abs/2603.07176},
  note = {Source identifier: 2603.07176}
}