Practical Boolean Backpropagation. - Simon Golbert (CoRR, 2025)