Multi-Label Classification Neural Networks with Hard Logical Constraints (2021-03-24T00:00:00.000000Z)