TY  - RPRT
TI  - Looking for Signs: Reasoning About FOBNNs Using SAT
AU  - Hans-Jörg Schurr
AU  - Athénaïs Vaginay
PY  - 2025
DO  - 10.1007/978-3-032-01436-8_5
UR  - https://arxiv.org/abs/2506.19156
ID  - 2506.19156
ER  -