@misc{indiciaed233fd67ef6d,
  title = {Looking for Signs: Reasoning About FOBNNs Using SAT},
  author = {Hans-Jörg Schurr and Athénaïs Vaginay},
  year = {2025},
  doi = {10.1007/978-3-032-01436-8\_5},
  url = {https://arxiv.org/abs/2506.19156},
  note = {Source identifier: 2506.19156}
}