Hoernle, N., Karampatsis, R. M., Belle, V. and Gal, K. (2022) “MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), pp. 5700-5709. doi: 10.1609/aaai.v36i5.20512.