TY - RPRT TI - MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks AU - Nicholas Hoernle AU - Rafael Michael Karampatsis AU - Vaishak Belle AU - Kobi Gal PY - 2021 UR - https://arxiv.org/abs/2111.01564 ID - 2111.01564 ER -