@misc{indiciae90e0fcff75ec,
  title = {Life span of SAT techniques},
  author = {Mathias Fleury and Daniela Kaufmann},
  year = {2024},
  url = {https://arxiv.org/abs/2402.01202},
  note = {Source identifier: 2402.01202}
}