@misc{indiciaeb68a5b2f878f,
  title = {Between proof construction and SAT-solving},
  author = {Aleksy Schubert and Paweł Urzyczyn and Konrad Zdanowski},
  year = {2024},
  url = {https://arxiv.org/abs/2405.05670},
  note = {Source identifier: 2405.05670}
}