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