Hoernle, N.; Karampatsis, R. M.; Belle, V.; Gal, K. MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. AAAI 2022, 36, 5700-5709.