Hoernle, Nick, Rafael Michael Karampatsis, Vaishak Belle, and Kobi Gal. 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.